[ Reference Manual | Alphabetic Index ]

# Predicate Database and Compiler

Built-ins for creation of handling of executable code

## Predicates

> [+File_1, ...., +File_N]
>   Compile source file or load precompiled file, or list of files
> 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, with default options
> compile(++Source, ++Options)
>   Compile specified file, or list of files, with given options
> compile_stream(+Stream)
>   Compile the given stream Stream with default options
> compile_term(+Clauses)
>   Compile a list of clauses using the default options
> compile_term(+Clauses, ++Options)
>   Compile specified clause or list of clauses, with the given options
> compile_term_annotated(+Clauses, ?Annotated, ++Options)
>   Compile a list of terms, possibly annotated with source information
> 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 context module
> current_pragma(?Pragma)
>   Retrieves pragmas that are currently in effect for the context 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.
> deprecated(++PredSpec, +Advice)
>   Declares the specified procedure as deprecated
> discontiguous(++SpecList)
>   Declares the procedure(s) specified by SpecList as discontiguous
> ensure_loaded(++Files)
>   Compile or load the specified Files if necessary.
> expand_clause(+Term, -TransTerm)
>   Apply clause transformation to Term
> expand_goal(+Term, -TransTerm)
>   Apply goal inline expansion to Term
> get_flag(++PredSpec, ?Flag, -Value)
>   Succeeds if the flag Flag of the procedure specified by PredSpec has the value Value.
> inline(++Pred)
>   Declares Pred as a candidate for inlining (unfolding).
> 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.
> meta_predicate(++MetaSpecs)
>   Specifies the meta-arguments for the given predicates
> 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.

Generated from compiler.eci on 2022-09-03 14:26