Произведение максимального и второго отрицательного - Prolog

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

Ребят, хелп: Найти произведение максимального и второго по счёту отрицательного элемента. турбо пролог

Решение задачи: «Произведение максимального и второго отрицательного»

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

domains
int=integer
intl=int*
 
predicates
sec_neg(intl,int,int)
max(intl,int)
task(intl,int)
 
clauses
max([X],X).
max([H|T],R) :- max(T,R), R>=H.
max([H|T],H) :- max(T,R), R<H.
 
sec_neg([H|_],C,H) :- H<0, C=1. 
sec_neg([H|T],C,R) :- H<0, C=0,sec_neg(T,1,R).
sec_neg([H|T],C,R) :- H>=0,sec_neg(T,C,R).
 
task(X,R) :- sec_neg(X,0,Z), max(X,M), R=M+Z.

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

В коде используется язык программирования Prolog.
Код решает задачу, связанную с вычислением произведения максимального значения и второго отрицательного числа в списке.
Для этого определены следующие типы данных и предикаты:
- int - целочисленный тип данных.
- intl - тип данных, представляющий список целых чисел.
- sec_neg(intl, int, int) - предикат, который проверяет, является ли число отрицательным и возвращает значение 1, если это так, и 0 в противном случае.
- max(intl, int) - предикат, который находит максимальное значение в списке и возвращает его.
- task(intl, int) - предикат, который решает задачу, связанную с вычислением произведения максимального значения и второго отрицательного числа в списке.
В коде определены следующие правила:
- max([X],X). - базовое правило для пустого списка.
- max([H|T],R) :- max(T,R), R>=H. - правило для списка с одним элементом.
- max([H|T],H) :- max(T,R), R<H. - правило для списка с одним элементом.
- secneg([H|],C,H) :- H<0, C=1. - правило для списка с одним элементом, когда текущий элемент отрицательный.
- sec_neg([H|T],C,R) :- H<0, C=0,sec_neg(T,1,R). - правило для списка с одним элементом, когда текущий элемент отрицательный и нужно рекурсивно вызвать функцию для оставшейся части списка.
- sec_neg([H|T],C,R) :- H>=0,sec_neg(T,C,R). - правило для списка с одним элементом, когда текущий элемент неотрицательный и нужно рекурсивно вызвать функцию для оставшейся части списка.
- task(X,R) :- sec_neg(X,0,Z), max(X,M), R=M+Z. - правило для решения задачи. Находит второе отрицательное число в списке, находит максимальное значение в списке, вычисляет произведение и возвращает результат.
В результате работы кода будет вычислен результат произведения максимального значения и второго отрицательного числа в списке.