YAP 7.1.0
assertz_static/1

assertz_static(: C) More...

Detailed Description

assertz_static(: C)

Adds clause C to the end of a static procedure Asserting a static clause for a predicate while choice-points for the predicate are available has undefined results

The following predicates can be used for dynamic predicates and for static predicates, if source mode was on when they were compiled:


The documentation for this class was generated from the following file: