преобразовать( Число, Слово) :-
Число = 1, Слово = один;
Число = 2, Слово = два;
Число = 3, Слово = три.
Посмотреть ответ
Назад | Содержание | Вперёд
Назад | Содержание | Вперёд
2. 4. Процедурная семантика
Процедурная семантика определяет,
цели логически следовали из программы. Можно
сказать, что процедурная семантика Пролога - это
процедура вычисления списка целей
с учетом заданной программы. 'Вычислить цели' это значит попытаться достичь их.
Назовем эту процедуру вычислить. Как показано на рис. 2.9, входом и выходом этой процедуры являются:
входом - программа и список целей,
выходом - признак успех/неуспех и подстановка переменных.
Рис. 2. 9. Входы и выходы процедуры вычисления списка целей.
Смысл двух составляющих выхода такой:
(1) Признак успех/неуспех принимает значение 'да', если цели достижимы, и 'нет' - в противном случае. Будем говорить, что 'да' сигнализирует об
(2) Подстановка переменных порождается только в случае успешного завершения; в случае неуспеха подстановка отсутствует.
ПРОГРАММА
большой( медведь). % Предложение 1
большой( слон). % Предложение 2
маленький( кот). % Предложение 3
коричневый ( медведь). % Предложение 4
черный ( кот). % Предложение 5
серый( слон). % Предложение 6
темный( Z) :- % Предложение 7:
черный( Z). % любой черный
% объект является темным
темный( Z) :- % Предложение 8:
коричневый( Z). % Любой коричневый
% объект является темным
ВОПРОС
?- темный( X), большой( X) % Кто одновременно темный
