Этот предикат принимает значение Истина в том и только в том случае, когда ... Пусть требуется найти объем прямоугольного параллелепипеда с ребрами 10, 20 и 30. Пишем предикат, определяющий объем: Vol ( a , b , c , v ) : = Mult ( a , b , z ) ... v). Легко предсказать, какой ответ даст Пролог на этот запрос.
Объяснение:
