A way to detect all available predicates would be useful

[triska]

Motivation: Precompile a set of facts that let us quickly recognize built-in predicates: #2599

Which built-in predicates are there?

?- predicate_property(A, built_in).
   error(instantiation_error,predicate_property/2).

Ideally, predicate_property/2 would tell us.

current_predicate/1 cannot be used to obtain all predicates that are currently defined, because current_predicate/1 only succeeds for user-defined predicates.

[bakaq]

Well, I think this would go against the ISO Standard, see #153. I also think this would be saner behavior, but maybe we should add a different predicate in library(iso_ext) that does that so that current_predicate/1 is still ISO compliant.

EDIT: Oh, you already addressed that by putting the functionality in predicate_property/2 instead. Seems nice.

[triska]

Yes, good catch, I have already edited the original suggestion to suggest predicate_property/2 instead, because current_predicate/1 cannot be used for the reason you mention, thank you for spotting this!