The ECLiPSe Built-In Predicates

All Solutions

Built-ins to collect all solutions to nondeterministic goals

Arithmetic

Built-ins for arithmetic computations

Predicate Database and Compiler

Built-ins for creation of handling of executable code

Control

Built-ins and language constructs to control execution

Debugging

Built-ins and command related to debugging

Directives

Directives that can only appear in compiled files

Dynamic Predicates

Built-ins to create and manipulate dynamic procedures

Engines and Threads

Built-ins for controlling independent engines and threads

Development Environment and Global Settings

Built-ins related to the development environment

Event Handling

Built-ins to handle events and interrupts

External Interface

Built-ins to access functions and data from foreign languages

Character I/O

Built-ins to input and output characters or byte strings

Stream I/O

Built-ins to open, manipulate and close I/O streams

Term I/O

Built-ins for input/output of complex terms

Modules

Directives and built-ins related to the module system

Obsolete

Obsolete built-ins which should not be used in new code

Operating System

Built-ins to access operating-system services

Recorded Database

The record-family of built-ins to store data across failures

Non-logical Variables, Arrays, Bags, Shelves and Stores

Built-ins to store data across backtracking

Strings and Atoms

Built-ins to create, convert and decompose strings and atoms

Advanced Control and Suspensions

Everything related to suspensions, priority- and data-driven control

Syntax Settings

Operators, structures, macros, character classes

Comparing and Sorting

Built-ins for symbolic term comparison and sorting

Term Manipulation

Built-ins to convert, compose, decompose and modify terms

Type Testing

Meta-logical built-ins to test the type of terms