system_predicate( ?_P_ ) More...
system_predicate( ?_P_ )
Defines the relation: indicator P refers to a currently defined system predicate