Standard librarycurrent_predicate_1Version: v15.0.0On this pagecurrent_predicate/1 Description current_predicate/1 is a predicate that enumerates currently defined predicates. Signature current_predicate(?PredicateIndicator) Where: PredicateIndicator is a predicate indicator of the form Name/Arity.