Пролог не печатает заявления

Question

Я пробовал эту программу палиндрома в прологе, логика работает, но операция записи не работает.Так в чем же проблема в коде?

palin (List1): - findrev (List1, [], List2), сравнить (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").

Answer 1

Это работает для меня.Я использую пролог SWI.И попробуйте заменить «на». Потому что с "Something" он печатает как список чисел, а не как строку.