10 Mar 2005
CS 3243 - FOL and Prolog
32
Outline
lGeneral Syntax
lTerms
lOperators
lRules
lQueries
l