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