next up previous contents
Next: Multiple Clauses Up: Knowledge Representation Previous: Prolog Constants

Goals and Clauses

We distinguish between a Prolog goal and Prolog clause. A clause is the syntactic entity expressing a relationship as required by Prolog ---note that we will regard the `.' as terminating a clause (this is not strictly correct).

The adjectives unit and non-unit distinguish two kinds of clause ---intuitively, facts and rules respectively.


Paul Brna
Mon May 24 20:14:48 BST 1999