Prolog no declaraciones de impresión

Question

Estaba probando este programa de palindromo en Prolog, la lógica funciona pero la operación de escritura no funciona. Entonces, ¿cuál es el problema en el código?

Palin (List1):- Findrev (List1, [], List2), Compare (List1, List2).

findrev([],List1,List1).

findrev([X|Tail],List1,List2):-
    findrev(Tail,[X|List1],List2).

compare([],[]):-
    write("\nList is Palindrome").

compare([X|List1],[X|List2]):-
    compare(List1,List2).

compare([X|List1],[Y|List2]):-
    write("\nList is not Palindrome").