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.