Built-In Predicates

SICStus Prolog provides a wide range of built-in predicates to perform all kinds of tasks; see the Table of Contents.

It is not possible to redefine built-in predicates. An attempt to do so will give an error message. See Pred Summary.

When introducing a built-in predicate, we shall present its usage with a mode spec, and optionally with an annotation containing one or more of:

ISO
The predicate complies with the ISO Prolog Standard.
ISO only
The predicate variant described complies with the ISO Prolog Standard and is valid in the iso execution mode only.
SICStus only
The predicate variant described is valid in the sicstus execution mode only.
declaration
A declaration that can't be redefined as a predicate.
development
The predicate is not available in runtime systems.
extendible
The predicate is an extendible predicate.
hook
The predicate is a hook predicate.
hookable
The predicate is a hookable predicate.
obsolescent
The predicate is obsolescent and should be avoided in new code.
reserved
A reserved construct that can't be defined as a predicate.

The following descriptions of the built-in predicates are grouped according to the above categorization of their tasks.