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
- Library usage:
- Implicit imports:
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