Classic Prolog

Author(s): Daniel Cabeza, Jose F. Morales, Manuel Hermenegildo.

This package loads the predicates and features that classical Prolog implementations provide by default (the 'buil-ins'). This includes the ISO-Prolog predicates and features as well as others that are de-facto standard built-ins in most Prolog implementations. A listing is provided below of the concrete predicates made available and the Ciao libraries they come from. Apart from these, the features defined in Definite Clause Grammars and Enabling operators at run-time are also activated.

The loading of this package can be controlled as described in the Library usage below and The module system.

Usage and interface

Documentation on multifiles

No further documentation available for this predicate. The predicate is multifile.