The following properties are associated with predicates either implicitly or by declaration:
built_in
checking_advice
compiled
dynamic
exported
extern_link
foreign
has_advice
imported_from
interpreted
locked
meta_predicate
multifile
spied
volatile
These are described elsewhere in the manual (see Index). To query these
associations, use predicate_property/2. The reference
page contains several examples.