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 'built-ins'). This includes the ISO-Prolog predicates and features as well as others that are de-facto standard built-ins in most Prolog implementations. Consult the classic_predicates module for the listing of the concrete predicates that are available and the Ciao libraries they come from (see pointer below). 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 in The module system.

Usage and interface