Last updated: 20 October 2002
A. C. Brett firstname.lastname@example.org
Department of Linguistics
University of Victoria
Prolog Clauses and Predicates
The sentence-like constructs of the Prolog language are called
assertions or clauses.
Prolog clauses are usually described as being of the following
although a fact can be regarded as being just a degenerate rule.
Collections of related facts and rules are said to comprise
which may be regarded as something like the compound sentences of
a natural language because they consist of a collection of conjoined
A Prolog Program,
which is also called a database or
module, is a collection of predicates.