Node:Built Intro, Next:, Previous:Debug Intro, Up:Top


Built-In Predicates

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

SICStus Prolog provides a wide range of built-in predicates to perform the following tasks: 

     Input / Output
          Reading-in Programs
          Term and Goal Expansion
          Input and Output of Terms
          Character I/O
          Stream I/O
          Dec-10 Prolog File I/O
     Arithmetic
     Comparison of Terms
     Control
     Error and Exception Handling
     Information about the State of the Program
     Meta-Logic
     Modification of Terms
     Modification of the Program
     Internal Database
     Blackboard Primitives
     All Solutions
     Messages and Queries
     Coroutining
     Debugging
     Execution Profiling
     Miscellaneous

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.
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.