4.3.7 Predicate List

Detailed information is found in the reference pages for the following:

[]
[:F|+Fs]
same as load_files([F|Fs])
block :P declaration
predicates specified by P should block until sufficiently instantiated
compile(:F)
load compiled clauses from files F
consult(:F)
reconsult(:F)
load interpreted clauses from files F
expand_term(+T,-X) hookable
term T expands to term X using user:term_expansion/6 or grammar rule expansion
goal_expansion(+Term1, +Layout1, +Module, -Term2, -Layout2) hook
Defines transformations on goals while clauses are being compiled or asserted, and during meta-calls.
discontiguous :P declaration,ISO
clauses of predicates P do not have to appear contiguously
dynamic :P declaration,ISO
predicates specified by P are dynamic
elif(:Goal declaration
Provides an alternative branch in a sequence of conditional compilation directives.
else declaration
Provides an alternative branch in a sequence of conditional compilation directives.
endif declaration
Terminates a sequence of conditional compilation directives.
ensure_loaded(:F) ISO
load F if not already loaded
if(:Goal) declaration
Starts a sequence of conditional compilation directives for conditionally including parts of a source file.
include(+F) declaration,ISO
include the source file(s) F verbatim
initialization :G declaration,ISO
declares G to be run when program is started
load_files(:F)
load_files(:F,+O)
load files according to options O
meta_predicate :P declaration
declares predicates P that are dependent on the module from which they are called
mode :P declaration
NO-OP: document calling modes for predicates specified by P
module(+M,+L) declaration
module(+M,+L,+O) declaration
module M exports predicates in L, options O
multifile :P declaration,ISO
the clauses for P are in more than one file
public :P declaration
NO-OP: declare predicates specified by P public
restore(+F)
restore the state saved in file F
user:term_expansion(+Term1, +Layout1, +Tokens1, -Term2, -Layout2, -Tokens2) hook
Overrides or complements the standard transformations to be done by expand_term/2.
use_module(:F)
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
volatile :P declaration
predicates specified by P are not to be included in saves

Send feedback on this subject.