:- op(1050, xfy,[(::)]).
:- op(1050, xfy,['<=']).
:- op(1050, xfy,['<-']).
:- op(1050, yf ,['<-']).


