14 Apr 2005
CS 3243 - Revision
34
Prolog
¡Engine for FOL
¡
¡Syntax
lVariables
lRelations
¡Execution pattern in prolog
lWhich clauses?
lWhich goals?