12345678910111213141516 |
- :- use_module(library(lists)).
- rev([], []).
-
- rev([Head | Tail], Res) :-
- rev(Tail, X),
- append(X, [Head],Res).
-
- list_eq([], []).
-
- list_eq([Head | Tail], [Head1 | Tail1]) :-
- Head = Head1,
- list_eq(Tail, Tail1).
-
- palindrome(P) :-
- rev(P, X),
- list_eq(P, X).
|