current_op(?Precedence, ?Type, ?Name)
Succeeds when the atom Name is currently an operator of type Type and precedence Precedence.
integer, in the range 1-1200
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
Name not an atom or Type not an atom or Precedence not an integer.
Precedence not between 1-1200, or Type not one of listed atoms.