[ The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

Predicate Database and Compiler

Built-ins for creation of handling of executable code

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_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 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, ++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.

Generated from database.eci on Tue May 23 02:53:10 2006