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

Dynamic Predicates

Built-ins to create and manipulate dynamic procedures

Predicates

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.
dynamic ++SpecList
Declares the procedures specified by SpecList as dynamic.
is_dynamic(++PredSpec)
Succeeds if the procedure specified by PredSpec has been declared as dynamic.
listing
Outputs the definition of all dynamic predicates in the database.
listing ++SpecList
Outputs the definition of all dynamic predicates indicated by SpecList.
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.

Generated from dynamic.eci on Mon Mar 31 03:10:56 2008