No-prelude

Author(s): The Ciao Development Team.

This special package disables the implicit inclusion of the prelude in a Ciao module/program. When using this package most of the engine modules defined in the basic language are not included. It selects a minimal kernel language with very tight control on the language features.

Usage and interface

Known bugs and planned improvements

  • Currently, the following builtin predicates/program constructs cannot be redefined, in addition to true/0: (->)/2 (,)/2 (+)/1 if/3