YAP 7.1.0
system_predicate/1

system_predicate( ?_P_ ) More...

Detailed Description

system_predicate( ?_P_ )

Defines the relation: indicator P refers to a currently defined system predicate


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