current_op/3
current_op(
+Precedence,
+Type,
+Name)
current_op(
*Precedence,
*Type,
*Name)
Succeeds when the atom Name is currently an operator of type Type and precedence Precedence.
[xfx, xfy, yfx, fx, xf, yf]
None of the arguments need be instantiated at the time of the call; that is, this predicate can be used to find the precedence or type of an operator or to backtrack through all operators.
To add or remove an operator, use op/3
.
type_error
domain_error
op/3
ref-syn-ops.