BinProlog's default operator definitions (see file oper.pl) are the following:
:-op(1000,xfy,','). :-op(1100,xfy,(';')). :-op(1200,xfx,('-->')). :-op(1200,xfx,(':-')). :-op(1200,fx,(':-')). :-op(700,xfx,'is'). :-op(700,xfx,'='). :-op(500,yfx,'-'). :-op(500,fx,'-'). :-op(500,yfx,'+'). :-op(500,fx,'+'). :-op(400,yfx,'/'). :-op(400,yfx,'*'). :-op(650,xfy,'.'). :-op(660,xfy,'++'). :-op(700,xfx,'>='). :-op(700,xfx,'>'). :-op(700,xfx,'=<'). :-op(700,xfx,(<)). :-op(700,xfx,(=\=)). :-op(700,xfx,(=:=)). :-op(300,fy,(~)). :-op(300,xfx,(mod)). :-op(200,yfx,(**)). :-op(200,xfy,(^)). :-op(400,yfx,(>>)). :-op(400,yfx,(<<)). :-op(400,yfx,(//)). :-op(500,yfx,(#)). :-op(500,fx,(#)). :-op(500,yfx,(\/)). :-op(500,yfx,(/\)). :-op(500,yfx,(\)). :-op(500,fx,(\)). :-op(700,xfx,(@>=)). :-op(700,xfx,(@=<)). :-op(700,xfx,(@>)). :-op(700,xfx,(@<)). :-op(700,xfx,(\==)). :-op(700,xfx,(==)). :-op(700,xfx,(=..)). :-op(700,xfx,(\=)). :-op(900,fy,(not)). :-op(900,fy,(\+)). :-op(900,fx,(spy)). :-op(900,fx,(nospy)). :-op(950,fx,(##)). :-op(1050,xfy,(->)). :-op(1050,xfx,(@@)). :-op(1150,fx,(dynamic)). :-op(1150,fx,(public)). :-op(1150,fx,(module)). :-op(1150,fx,(multifile)). :-op(1150,fx,(discontiguous)). :-op(1150,fx,(delphi)). :-op(1150,fx,(memo)). :-op(1200,xfx,(::-)). :-op(900,yfx,(:)). :-op(600,xfx,(:=:)). :-op(950,xfy,(-:)). :-op(950,xfx,(=:)). :-op(950,xfy,(-::)). :-op(950,xfy,(=::)). :-op(950,xfy,(=>)). :-op(950,xfy,(=>>)). :-op(600,xfx,(<=)). :-op(700,xfx,(:=)). :-op(50,fx,(@)). :-op(50,fx,(^)). :-op(450,fx,(::)). :-op(880,xfx,(extends)). :-op(890,xfx,(with)). :-op(890,xfy,(::)).