Dynamic Predicates

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.