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.
