Documentation current_predicate/1
Related predicates
available from version beta

current_predicate/1

Check the existence of predicates.

Description

current_predicate( ?predicate_indicator )

current_predicate(PI) is true if and only if PI is the identifier of a user-defined procedure.

Implementation