:- initialization(main). :- op(9,yf,.>). main :- write(a.> .>), nl.