Prolog Execution
	Prolog also needs to choose which clause to pursue first. l Treats clauses in order, top-most first. G. A :- B,C,D. B :- E,F. B :- G. ¡  To satisfy goal B, prolog tries E,F before G.