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