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]). palindrome([7,2,5,7]). palindrome([d,4,4,d]). palindrome([]). palindrome([a]). true.