17 Mar 2005
CS 3243 - Logical Inference
73
Procedural Prolog Programming
lOrder
of Prolog clauses and goals crucial, can affect running times
immensely
¡Order
of goals tell which get executed first
¡Order
of clauses tell which control branches are tried first.