![]() |
YAP 7.1.0
|
assertz_static(: C) More...
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: