[Group Index|Full Index]
ECLiPSe Kernel: Predicate Database and Compiler
- [+File_1, ...., +File_N]
-
Compile file or list of files --- shorthand for compile/1.
- abolish +SpecList
-
Remove the definition and/or declaration of the predicates specified in
SpecList.
- als(+PredSpec)
-
Outputs the abstract code for the compiled predicate PredSpec.
- assert(+Clause)
-
Add specified clause at the end of the dynamic procedure to the database.
- asserta(+Clause)
-
Add specified clause for a dynamic procedure to the database before any
existing clauses.
- clause(+Clause)
-
Succeeds if Clause unifies with a clause of a dynamic procedure.
- clause(+Head, ?Body)
-
Succeeds if Head :- Body is an existing dynamic clause.
- 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_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.
- dump(+File)
-
Dump the object form of the source program in the file File into a file
File.sd.
- dynamic +SpecList
-
Declares the procedures specified by SpecList as dynamic.
- ensure_loaded(+Files)
-
Compile the specified Files if necessary.
- 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_built_in(+PredSpec)
-
Succeeds if PredSpec is a system built-in predicate.
- is_dynamic(+PredSpec)
-
Succeeds if the procedure specified by PredSpec has been declared as
dynamic.
- 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.
- lib(+LibraryName,+ModuleName)
-
The library LibraryName is loaded into the module ModuleName if not loaded
already.
- listing
-
Outputs the definition of all dynamic predicates in the database.
- listing +SpecList
-
Outputs the definition of all dynamic predicates indicated by SpecList.
- mode +PredModes
-
Specifies the mode (calling pattern) for the given predicates.
- parallel +SpecList
-
Declares the procedure(s) specified by SpecList as parallel.
- retract(+Clause)
-
Succeeds if a clause that unifies with Clause can be removed from the
database.
- retract_all(+Head)
-
Succeeds if all the clauses whose heads match Head are successfully removed
from the database.
- set_flag(+PredSpec, +Flag, +Value)
-
Sets the flag Flag of the procedure specified by PredSpec to the value
Value.