17 Mar 2005
CS 3243 - Logical Inference
71
Prolog Execution
Prolog needs to choose which goal to pursue first, although logically it doesn’t matter. Why?
lTreats goals in order, leftmost first.
A :- B,C,D.
B :- E,F.
-? A.
ˇ B is tried first,
then C, then D.
ˇ E and F are
pushed onto the stack, before C and D. Why?
3 goals in this clause