."). A clause may be a fact, like:
likes(mary, pizza). food(pizza).
or a rule, like:
eats(Person, Thing) :- likes(Person, Thing), food(Thing).
A clause may also be a query to the Prolog interpreter, as in:
?- eats(mary, pizza).
A group of clauses about the same relation is termed a procedure.