:-initialization(main). main :- X1 =.. [1], writeq(X1), nl, X2 =.. [1,2,3], writeq(X2), nl.