Documentation op/3
Related predicates
available from version beta

op/3

Alter the operator table.

Description

op( +integer, +operator_specifier, @atom_or_atom_list )

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.

Implementation