... Если требуется, например, переменной R присвоить значение, равное умноженному на три большему из двух выражений X и Y , то, используя определенную ниже процедуру максимум , это можно записать так: максимум(X,Y,Z), R is 3*Z. (скачать файл с примерами) . Пример . ... X = 50 Yes ?- максимум(100,50,X). ... X = 100 Yes Последний ответ показывает, что наш предикат позволяет находить ответ на вопросы типа: "Каково должно быть число, чтобы максимум из искомого числа и числа 50 равнялся бы 100?" ...