op(Priority, Op_Specifier, Operator) is true and has side effects over the operator table. If Priority is 0, the operator is removed from said table, else, Operator is added to the table with characteristics set by Op_Specifier and Priority.