:-initialization(main). main :- X =.. 1, writeq(X), nl.