11.3 Built-In Predicates

The following reference pages, alphabetically arranged, describe the SICStus Prolog built-in predicates.

For a functional grouping of these predicates including brief descriptions, see mpg-top.

In many cases, the heading of a reference page, as well as an entry in a list of built-in predicates, will be annotated with keywords. These annotations are defined in mpg-ref-cat.

Further information about categories of predicates and arguments, mode annotations, and the conventions observed in the reference pages is found in mpg-ref.

Send feedback on this subject.