[ 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 Sat Nov 8 06:53:40 2008