:- initialization(main). main :- ""||! = T, write(T), nl.