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

Library usage:
:- use_package(noprelude). or :- module(...,...,[noprelude]).
Implicit imports:
- Packages:
  prelude, initial, condcomp, assertions, assertions/assertions_basic.