Syntax

l .pl files contain lists of clauses l Clauses can be either facts or rules male(bob). male(harry). child(bob,harry). son(X,Y):-      male(X),child(X,Y).

“and”

No space between functor and argument list

33