Operator properties can be accessed via the system predicates
oper_property/2, set_oper_property/2 and reset_oper_property/2. The
following predicate properties are sup-ported by the Jekejeke Prolog
runtime library: