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