Properties

• predefined(F,N) (not in ISO): The predicate F/N is a built-in.

• predicate_property(Head, Property):   The predicate referred to by Head has the property Property, which is dynamic, compiled, defined_in_c, or interpreted. A predicate has the property static if it is not dynamic. A predicate has the property built_in if it is predefined.

• current_predicate(Functor/Arity):   It is true if Functor/Arity identifies a defined predicate, whether static or dynamic, in the program area. Gives multiple solutions upon backtracking.