10 Mar 2005
CS 3243 - FOL and Prolog
33
Syntax
l.pl files contain lists of clauses
lClauses can be either facts or rules
l
l
lmale(bob).
lmale(harry).
lchild(bob,harry).
lson(X,Y):-
l male(X),child(X,Y).
Predicate, arity 1 (male/1)
Terminates a clause
Indicates a rule
“and”
Argument to predicate
No space between functor and argument list