Documentation Prolog Predicate Reference builtin current_predicate/1

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