[ 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 Sat Nov 8 06:54:28 2008