:- module(add_operator1, [ op(200, fy, ~), op(980, fx, #) ]). p(~a-b).