Определить элемент списка L, следующий за элементом X в этом списке - Prolog

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

Определить предикат для формирования списка из элементов, вводимых с клавиатуры (элементы включаются в список в порядке их ввода, либо, при необходимости в обратном порядке). Определить элемент списка L, следующий за элементом х в этом списке. При отсутствии выдать текстовое сообщение

Решение задачи: «Определить элемент списка L, следующий за элементом X в этом списке»

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

domains
int=integer
intl=int*
 
predicates
read_list(intl)
get_after(intl,int,int)
task
 
clauses
read_list([H|T]):-readint(H),!,read_list(T).
read_list([]).
 
get_after([_],_,_) :- write("element not found"),nl,fail.
get_after([H,Q|_],H,Q).
get_after([H,Q|T],Z,R) :- H<>Z,get_after([Q|T],Z,R).
 
task :- write("Enter list (end - empty line)"),nl,read_list(U),
        write("Enter value"),nl,readint(V),get_after(U,V,R),write(R),nl.

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

В коде используется язык программирования Prolog.
Задача состоит в поиске элемента списка, следующего за заданным элементом.
Для ввода списка и значения используется функция read_list и readint соответственно.
Для поиска следующего элемента используется функция get_after.
В функции read_list происходит чтение списка до тех пор, пока не будет введен пустой список.
В функции get_after происходит поиск элемента, следующего за заданным элементом в списке.
Если элемент не найден, выводится сообщение об ошибке.
В функции task происходит ввод списка и значения, а затем вызов функции get_after для поиска следующего элемента.
Результат выводится на экран.