🚀 go-pugleaf

In article <3906@bingvaxu.cc.binghamton.edu> vu0310@bingvaxu.cc.binghamton.edu.cc.binghamton.edu (R. Kym Horsell) writes:
>2) By using a cut after setarg you *lose* the backtrack
>point so the modification becomes ``permanent'', which
>was the whole point in my previous message. 

I have never used setarg, but it seems you are confusing two things:
the ability to change the value of an instantiated variable, and the
ability to preserve the value of a variable when backtracking.

Cut doesn't normally affect the resetting of variables on
backtracking.  If X is uninstantiated and I do   X=1, !   then X will
become uninstantiated when I backtrack past the unification, regardless
of the cut.  This doesn't involve a choice point, just the trail.

Similarly, if a predicate is added which can alter an already-instantiated
variable, why should cut affect whether it is reset?

If you really want assignments (or just pain instantiations) that are
not reset by backtracking, don't overload cut for it, use something else.

-- Richard
-- 
Richard Tobin,                       JANET: R.Tobin@uk.ac.ed             
AI Applications Institute,           ARPA:  R.Tobin%uk.ac.ed@nsfnet-relay.ac.uk
Edinburgh University.                UUCP:  ...!ukc!ed.ac.uk!R.Tobin