compile_predicates/1

compile_predicates(: ListOfNameArity) More...

Detailed Description

compile_predicates(: ListOfNameArity)

Compile a list of specified dynamic predicates (see dynamic/1 and assert/1 into normal static predicates This call tells the Prolog environment the definition will not change anymore and further calls to assert/1 or retract/1 on the named predicates raise a permission error This predicate is designed to deal with parts of the program that is generated at runtime but does not change during the remainder of the program execution

---

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

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