🚀 go-pugleaf

mmh@cs.qmw.ac.uk (Matthew Huntbach) writes:

>"assert" and "retract" are best used to get round what I
>believe is a very awkward problem with Prolog, the fact that
>computations on the OR-branches of search trees cannot
>otherwise communicate.

>e.g

>pred(<args1>) :- body1
>pred(<args2>) :- body2

>Suppose body1 fails, but some of the partial calculations done
>within it are useful in body2. Then you have to use "assert"
>to pass them on.

>I still don't think this is in good taste. I would prefer
>something like:

>pred(<args>) :- body1',body2'.

>where body1' passes on any information required to body2' and
>has a flag which if set to "true" causes body2' to immediately
>halt.

>Matthew Huntbach

I think you can avoid the use of assert in the
situation you mentioned. There are ; and -> clauses
introduced in several prologs (quintus has them definitely),
which precisely serve this purpose.

Dan brahme
Texas Instruments