Loading Programs

[F]

same as load_files(F)

compile(F)

compile procedures from file (or list of files) F into the database

consult(F)

same as compile(F)

reconsult(F)

same as compile(F)

ensure_loaded(F)

load F if not already loaded

load_files(F)

load the specified Prolog source and/or QOF files F into memory

load_files(F,O)

load files according to options O

meta_predicate(P)

declares predicates P that are dependent on the module from which they are called

module(M,L)

declaration that module M exports predicates in L

multifile(P)

declares that the clauses for P are in more than one file

no_style_check(A)

switch off style checking of type A

restore(F)

restart system and load file F

style_check(A)

turn on style checking of type A

use_module(F)

import the module-file(s) F, loading them if necessary

use_module(F,I)

import the procedure(s) I from the module-file F

use_module(M,F,I)

import I from module M, loading module-file F if necessary

term_expansion(T,N)

user-defined; compile-time transformation of clauses