Manipulating and Inspecting Operators

To add or remove an operator, use op(+Precedence, +Type, +Name). op/3 declares the atom Name to be an operator of the stated Type and Precedence. If Precedence is 0, then the operator properties of Name (if any) are cancelled.

To examine the set of operators currently in force, use current_op(*Precedence, *Type, *Name).