Определите совпадает ли первый элемент списка Х, с последним элементом списка У - Prolog

Формулировка задачи:

Определите совпадает ли первый элемент списка Х, с последним элементом списка У - помогите реализовать

Решение задачи: «Определите совпадает ли первый элемент списка Х, с последним элементом списка У»

Листинг программы

domains
int=integer
intl=int*
 
predicates
last_el(intl,int)
chk_fl(intl,intl)
 
clauses
last_el([X],X).
last_el([_|T],Z) :- last_el(T,Z).
 
chk_fl([H|_],Y) :- last_el(Y,Z), H=Z.

Объяснение кода листинга программы

В этом коде используется язык программирования Prolog.
Код определяет два домена: int (целое число) и intl (массив целых чисел).
Также определены две предикаты: last_el (последний элемент) и chk_fl (проверка совпадения первого элемента списка Х с последним элементом списка У).
В первом утверждении last_el([X],X) задается базовый случай, когда первый и последний элементы списка совпадают.
Второе утверждение lastel([|T],Z) :- last_el(T,Z). является рекурсивным случаем, когда первый элемент списка - это головной узел списка, а Z - это последний элемент хвостового списка.
В третьем утверждении chkfl([H|],Y) :- last_el(Y,Z), H=Z. проверяется совпадение первого элемента списка Х с последним элементом списка У. Если они совпадают, то Y будет содержать значение Z.