1:- module(pac_op, [
2 op(5, xfy, (.)),
3 op(5, fy, (.)),
4 op(6, fy, '`'), 5 op(10, fy, (!)),
7 op(10, fy, *),
8 op(10, fy, ?),
9 op(10, fy, @),
10 op(10, fy, :),
11 op(200, yfx, @),
12 op(450, xfx, (..)),
13 op(650, xfy, (::)),
14 op(670, yfx, (\)),
15 op(700, xfx, in),
16 op(710, fy, (~)),
17 op(750, yfx, (&))]). 18
19:- current_op(X,Y,=), op(X,Y,#=). 20:- current_op(X,Y,\=), op(X,Y,#\=). 21:- current_op(X,Y,>), op(X,Y,#>). 22:- current_op(X,Y,<), op(X,Y,#<). 23:- current_op(X, Y, =), op(X, Y, :=). 24:- current_op(P, F, =), op(P, F, =>). 25:- current_op(X, Y, ->), op(X, Y, \). 26:- current_op(X, Y, \), op(X, Y, \\). 27:- current_op(P, T, \), op(P, T, <-). 28:- current_op(P, T, \), op(P, T, <--). 29:- current_op(P, T, \), op(P, T, <->). 30:- current_op(P, T, \), op(P, T, <-->). 31:- current_op(X, Y, user:($)), op(X, Y, $$). 32:- current_op(X, Y, (+)),
33 memberchk(Y, [xfy,yfx]),
34 X0 is X + 10, op(X0, Y, (++)). 35:- current_op(X, Y, (?-)), op(X, Y, (??-)). 36:- current_op(P, _, :-), Q is P - 100, op(Q, fy, include).