Properties

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

• predicate_property(Head, Property): The predicate to which Head refers 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): This predicate is true if Functor/Arity identifies a defined predicate, whether static or dynamic, in the program area. Gives multiple solutions upon backtracking.