PLEASE SOLVE IN PROLOG:

Palindrome Define a predicate palindrome/1 that takes a list of numbers as a single parameter and evaluates whether the list is the same both backward and forward, i.e. a palindrome list. Your predicate should have the signature palindrome(List). Note that the list to be tested may be heterogenous data types.

Examples:

?- palindrome([4,3,4]). true.

?- palindrome([7,2,5,7]). false.

?- palindrome([d,4,4,d]). true.

?- palindrome([]). true.

?- palindrome([a]). true.