:-initialization(main). main :- C=[],A=[A|C],B=[A|A],A=B. main :- C=[],A=[A|C],B=[A|A],A==B. main.