🚀 go-pugleaf

In article <CHIK.90Dec17194110@icot21.icot.or.jp> chikayama@icot.or.jp writes:
>In article <MARK.90Dec7130758@adler.philosophie.uni-stuttgart.de> mark@adler.philosophie.uni-stuttgart.de (Mark Johnson) writes:
>
> * But what I don't know how to do is the following: define a predicate
> * delay(Term, Goal) which calls Goal when Term is further instantiated,
> * possibly by unifying distinct variables occuring in Term.
> * Any ideas?
>What's wrong with "freeze"ing a goal which, in addition to calling the
>main "Goal", will traverse the data structure the variable is
>instantiated to, hooking up the same goal to all the variables in the
>structure on its way?  For example:

(context: SICStus Prolog) The problem with this is when you "unify
distinct variables occuring in Term" to each other. The only predicate
I know of that can capture such events is dif/2 (a sound implementation
of \==), but I can't see how to use it to do what the first author wants.
On the other hand freeze/2 waits for "instantiations", i.e. it doesn't
trap Var=Var.

David Hawley

<munch>
<munch>
<munch>