assert_static(: C) More...

Detailed Description

assert_static(: C)

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

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

/home/vsc/github/yap/pl/preds.yap