Является ли элемент концом списка turbo prolog

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

Помогите написать программу, которая должна определить: является ли элемент концом списка? Что то вроде: spisok(3, [1,3,4,5,6,3]) - Yes spisok(5, [3,4,2,4,1]) - No

Решение задачи: «Является ли элемент концом списка turbo prolog»

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

domains
int=integer
intl=int*
 
predicates
is_last(intl,int)
 
clauses
 
is_last([X],X) :- !.
is_last([],_) :- fail.
is_last([_|T],X) :- is_last(T,X).

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

В данном коде на языке Prolog определена задача проверки является ли элемент концом списка.

В первой строке определено два домена:
- int - целочисленный тип данных, используемый для представления элементов списка.
- intl - символьное представление списка целочисленных значений.
Далее определён предикат is_last, принимающий два аргумента:
- intl - список целочисленных значений.
- int - текущий элемент списка.
В первой части тела предиката is_last([X],X) :- !. проверяется базовый случай, когда список пустой или состоит из одного элемента. Результатом этой части будет истина (1), если условие выполняется, и неявный оператор ! отменяет дальнейшую проверку.
Во второй части тела предиката islast([],) :- fail. проверяется случай, когда список пустой. Результатом этой части будет вызов ошибки (fail), если условие выполняется.
В третьей части тела предиката islast([|T],X) :- islast(T,X). проверяется общий случай, когда список не пустой. Здесь используется горизонтальное скобление |T, которое означает, что первый элемент списка (кроме последнего) имеет значение T. Также используется вызов предиката is_last(T,X), который проверяет является ли элемент X концом списка T. Таким образом, данный код проверяет является ли элемент концом списка.