 ?-  [user].
| pal --> [_].
| pal --> [X], pal, [X].
| pal --> [].
| {user consulted, 0 msec 224 bytes}

yes
| ?- pal([e,l,l,e],[]).

yes
| ?- pal([e,l,e],[]).
