next up previous
Next: Recovering the Solution Path Up: No Title Previous: Modified Version of node_expand

Behaviour After Modifying
Node Data Structure

?- solve(bs,ls,X,Y).
bs
gp
oc
bs
cc
pc
bs
pc
tc
gp
oc
gp
ls
 
X = 13
Y = n(ls,_G331);
No

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