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