🚀 go-pugleaf

> (1)   doo :- agenda(X), assertz(agenda(next)), write(X), fail.

> Now the problem with all of our Prolog interpreters (Prolog-2 from 
> Expert Systems International Ltd, Xprolog, SBprolog) is that they
> are so 'smart' as to see that with only ONE agenda() fact in the
> database, there is no need to keep a backtrack-point there, so that
> fact is interpreted as 

> agenda(start) :- !.

> And following assertz'ed agenda's are NOT found by backtracking, so
> the output is just 'start no', while what was intended is:
> 'startnextnextnextnextnextnext....' (database full) as a result.


In SICStus Prolog there is a sound implementation of assert after call.
In the example above above you will be able to backtrack to all
clauses (instances) of agenda/1 known at the time when calling agenda(X).
That is, no instances asserted after calling agenda(X) will be known.
It dosn't matter if there is 1 or more instances when first calling
agenda(X). The output will always be 'start - no' only.


--
Roland Karlsson
SICS, PO Box 1263, S-164 28 KISTA, SWEDEN	Internet: roland@sics.se
Tel: +46 8 752 15 40	Ttx: 812 61 54 SICS S	Fax: +46 8 751 72 30