The following operators are predefined in Brain Aid Prolog:
Precedence Associativity Operator 1200 xfx :- 1100 xfy ; 1000 xfy , 900 fy not 900 fx determ 700 xfx = 700 xfx \= 700 xfx is 700 xfx < 700 xfx =< 700 xfx > 700 xfx >= 700 xfx == 700 xfx \== 700 xfx =.. 600 xfx -> 600 xfx <-> 500 yfx + 500 fx + 500 yfx - 500 fx - 400 yfx * 400 yfx / 300 xfx mod