To add or remove an operator, use
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.
Please note: operators are global, as opposed to being
local to the current module, Prolog text, or otherwise.
To examine the set of operators currently in force, use
current_op(Precedence, Type, Name).