The `version' of STRIPS in figure 12 is very
basic. The second clause of solve/4 finds an operator whose
preconditions are satisfied and then applies the operator. The third
clause subgoals (this version is inefficient).
paul@dream.dai.ed.ac.uk
Tue Jan 9 10:51:07 GMT 1996
