system_predicate/2

system_predicate( ?A, ?P ) More...

Detailed Description

system_predicate( ?A, ?P )

Succeeds if A is the name of the system predicate P It can be used to test and to enumerate all system predicates

YAP also supports the ISO standard built-in system_predicate/1 , that provides similar functionality and is compatible with most other Prolog systems

---

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

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