[ 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