Predicate Database and Compiler

Predicates

[+File_1, ...., +File_N]

Compile file or list of files --- shorthand for compile/1.

abolish +SpecList

Remove the definition of the predicates specified in SpecList.

als(+PredSpec)

Outputs the abstract code for the compiled predicate PredSpec.

compile(+File)

Compile specified file or list of files File.

compile(+File,+Module)

Compiles specified file or list of files File into the specified module Module.

compile_stream(+Stream)

Compile the given stream Stream.

compile_term(+Clause)

Compile specified clause or list of clauses Clause.

compiled_stream(?Stream)

Succeeds if the I/O stream currently being compiled is Stream.

current_built_in(?PredSpec)

Succeeds if the predicate defined by PredSpec is a visible built-in predicate.

current_compiled_file(?File, ?Time, ?Module)

Succeeds if File is a file that has been compiled into the system.

current_module_predicate(+Property, ?PredSpec)

Used to enumerate all predicates with given property in the caller module

current_predicate(?PredSpec)

Succeeds if PredSpec is a visible predicate defined by the user, or a visible library predicate.

demon +SpecList

Declares the procedure(s) specified by SpecList to be demons.

discontiguous(++SpecList)

Declares the procedure(s) specified by SpecList as discontiguous

ensure_loaded(+Files)

Compile the specified Files if necessary.

expand_goal(+Term, ?TransTerm)

Apply the inline transformation to Term

get_flag(+PredSpec, ?Flag, ?Value)

Succeeds if the flag Flag of the procedure specified by PredSpec has the value Value.

inline(+Pred, +TransPred)

Declares TransPred as the predicate to be used to do compile-time transformation (e.g. inlining) of calls to Pred.

is_predicate(+PredSpec)

Succeeds if PredSpec is a defined predicate.

lib(+LibraryName)

Makes the library LibraryName available in the current module if not loaded already.

mode +PredModes

Specifies the mode (calling pattern) for the given predicates.

parallel +SpecList

Declares the procedure(s) specified by SpecList as parallel.

set_flag(+PredSpec, +Flag, +Value)

Sets the flag Flag of the procedure specified by PredSpec to the value Value.