next up previous
Next: 23.2 Undefined predicatespossibly Up: 23 Appendix Previous: 23 Appendix

23.1 Operators

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,(::)).



next up previous
Next: 23.2 Undefined predicatespossibly Up: 23 Appendix Previous: 23 Appendix



Paul Tarau
Thu Apr 3 10:26:39 AST 1997