[ 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
assertz(+Clause)
Add specified clause at the end of the dynamic procedure to the database
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.
retractall(+Head)
Removes from the database all clauses whose heads match Head

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