current_evaluable_property/1¶

current_evaluable_property(P)*

P must be a valid arithetic functor or constant.

It can be used to test or to enuerate.