Types of Predicates Supplied with Quintus Prolog

Certain predicates are predefined by the Prolog system. Most of these cannot be changed or retracted. Such predicates are called built-in predicates.

Certain ones, however, can be modified or totally redefined. These are the hook predicates and the redefined predicates used in embedding.