プロローグでこの回文プログラムを試していましたが、ロジックは機能しますが、書き込み操作は機能しません。では、コードの問題は何ですか?
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").