Предикаты - Prolog (226317)

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

Написать предикат, который для заданного числа и заданного числового списка, возвращает новый список, записывая новый элемент в список перед числом 5. если в списке не содержится число 5, тогда список возвращается без изменений. написать программу на прологе полностью.

Решение задачи: «Предикаты»

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

domains
int=integer
intl=int*
 
predicates
task(intl,int,intl)
 
clauses
task([],_,[]).
task([5|T],N,[N,5|R]) :- task(T,N,R).
task([H|T],N,[H|R]) :- H<>5, task(T,N,R).

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

В коде дано описание домена и предиката.
Домен int представляет собой целочисленные значения, а intl — это список целочисленных значений.
Предикат task принимает три аргумента: intl, int и intl.
В первой клаузе task([],_,[]) не указывается значение первого аргумента, а остальные два аргумента используются для вывода.
Во второй клаузе task([5|T],N,[N,5|R]) при наличии элемента 5 в списке T, задача рекурсивно вызывается для списка T и аргументов N и R.
В третьей клаузе task([H|T],N,[H|R]) при наличии элемента H, который не равен 5, задача рекурсивно вызывается для списка T и аргументов N и R.