Prolog
¡
Engine for FOL
¡
Syntax
l
Variables
l
Relations
¡
Execution pattern in prolog
l
Which clauses?
l
Which goals?
