Author(s): Daniel Cabeza.
Version: 1.10#7 (2006/4/26, 19:22:13 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 sourcename
s.
(basic_props:list/2
)
Go to the first, previous, next, last section, table of contents.