:-initialization(main). main :- writeq(Ö-Œ = s-t), nl, writeq(Ö-Œ = s-t), nl, writeq(-'Ö'-'Œ'+(.)+'A'), nl.