[ 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