Programmation déclarative - Q1CD - 08/2012

reverse(L, RList) :-
    reverseiter(L, [], RList).

reverseiter([], L, L).

reverseiter([H|T], RPrefix, RList) :-
    reverseiter(T, [H|RPrefix], RList).

palindrome(L1, L2, Bool) :-
    Bool,
    reverse(L1, Temp),
    append(L1, Temp, L2).

palindrome(L1, L2, _) :-
    reverse(L1, [_|T]),
    append(L1, T, L2).

palindrome(L) :-
    reverse(L, Tmp),
    L == Tmp.