evaluable_property/4¶

evaluable_property(P, Type)*

True if P is an arithmetic functor; Type in YAP always unifies with static and built_in.

The main functor of P must be instantiated.

True if P is an arithmetic functor; Yype in YAP always unifies with static and built_in.

The main functor of P must be instantiatted.