a :- .. = .. .
b :- ::.. .

:- initialization(listing).