:- use_package(assertions).
:- doc(nodoc,assertions).
:- doc(nodoc,assertions_basic).

:- doc(title,"Pure Prolog package").

:- doc(author,"The Ciao Development Team").
 
:- doc(module,"This library package allows the use of @index{pure
   Prolog} in a Ciao module/program. When using this package the
   default @em{prelude} is not included and many of the @index{engine
   module}s are not imported.").

:- use_package(library(pure)).
