Pure Prolog package

Author(s): The Ciao Development Team.

This library package allows the use of pure Prolog in a Ciao module/program. When using this package the default prelude is not included and many of the engine modules are not imported.

Usage and interface

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