Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!news.duke.edu!convex!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!ncar!uchinews!msuinfo!harbinger.cc.monash.edu.au!bunyip.cc.uq.oz.au!marlin.jcu.edu.au!coral.cs.jcu.edu.au!geoff
From: geoff@coral.cs.jcu.edu.au (Geoff Sutcliffe)
Subject: succeeding always
Message-ID: <geoff.780888565@coral.cs.jcu.edu.au>
Summary: how to always succeed
Keywords: success
Sender: news@marlin.jcu.edu.au (USENET News System)
Organization: James Cook University
Date: 30 Sep 94 01:29:25 GMT
Lines: 22

This must be simple ... I have a goal which may or may not succeed (in only
one way), but I want it to always succeed in a certain context. If the goal 
is p/0, one way to do it is:
    p -> true;true.
I'm sure there must be a better way! Any suggestions? BTW
    (p;true) 
is not acceptable because of the backtracking to true if p does really 
succeed.

Thanks for suggestions,

Geoff

Geoff Sutcliffe
Department of Computer Science    Email : geoff@cs.jcu.edu.au
James Cook University             Phone : +61 77 815085/814622
Townsville, Australia, 4811.      FAX   : +61 77 814029
--
Geoff Sutcliffe
Department of Computer Science    Email : geoff@cs.jcu.edu.au
James Cook University             Phone : +61 77 815085/814622
Townsville, Australia, 4811.      FAX   : +61 77 814029
