:- initialization(main). main :- L = ""||K, write(L=K), nl.