Author(s): Daniel Cabeza.
Version: 1.11#222 (2004/5/24, 13:8:7 CEST)
Version of last change: 1.9#30 (2002/11/20, 14:15:12 CET)
Documentation for the directives used to load code into Ciao Prolog (both from the toplevel shell and by other modules).
loading_code)loading_code)
Usage: :- ensure_loaded(File).
* ISO *
File will be included in the executable being prepared, in the user module. The file File cannot have a module declaration. This directive is intended to be used by programs not divided in modules. Dividing programs into modules is however strongly encouraged, since most of the attractive features of Ciao (such as static debugging and global optimization) are only partially available for user modules.
File is a source name.
(streams_basic:sourcename/1)
Usage: :- include(File).
* ISO *
File are included in the current program text exactly as if they had been written in place of this directive.
File is a source name.
(streams_basic:sourcename/1)
:- use_package(Package).
Specifies the use in this file of the packages defined in Package. See the description of the third argument of
module/3 for an explanation of
package files.
This directive must appear the first in the file, or just after a
module/3 declaration. A file with no module declaration, in the absence of this directive, uses an implicit package default (see section Other predicates and features defined by default).
Usage 1: :- use_package(Package).
Package is a source name.
(streams_basic:sourcename/1)
Usage 2: :- use_package(Package).
Package is a list of sourcenames.
(basic_props:list/2)
Go to the first, previous, next, last section, table of contents.