1% Operators for user input. 2:-op(60, yfx, user:(@)). 3:-op(650, xfy, user:(::)). 4:-op(750, yfx, user:(&)). 5:-current_op(X, Y, ->), op(X, Y, user:(\)).