next up previous
Next: Data Abstraction Up: No Title Previous: No Title

Behaviour of Agenda Search

?- solve(bs,ls,N,Final).
bs
gp
oc
bs
cc
pc
bs
pc
tc
gp
oc
gp
ls

N = 13 
Final = ls;
No


Mike Rosner
Fri Mar 5 16:50:53 MET 1999