Предложения 1-4 являются утверждениями Пролога, предложения 5-10 - факты. Переменные в каждом утверждении являются локальными - их область действия одно утверждение.
Запрос: ? ¬ ВЫП_РЕЙС(Z). Доказательство запроса приведено ниже.
Запрос | Правило | Подстановка |
?¬ВЫП_РЕЙС(Z) | 4 | Z=X4 |
?¬ВЗЛЕТЕЛ(Х4) | 2 | Х4=Х2 |
?¬ ГОТОВ(Х2) ? ¬ ДАНО РАЗР(Х2) ? ¬ НЕ_НАХ_ВЗП(Х2) | 1 | Х2=Х1 |
? ¬ ПРОВЕРЕН(Х1) ? ¬ ЗАПРАВЛЕН(Х1) ? ¬ ДАНО_РАЗР(Х1) ? ¬ НЕ_НАХ_ВЗП(Х1) | 5 | Х1=ЯК-42 |
? ¬ЗАПРАВЛЕН(ЯК-42) ? ¬ ДАНО РАЗР(ЯК-42) ? ¬ НЕ_НАХ_ВЗП(ЯК-42) | 6 | |
7 ¬ДАНО РАЗР(ЯК-42) ? ¬ НЕ_НАХ_ВЗП(ЯК-42) | 9 | |
? ¬ НЕ_НАХ_ВЗП(ЯК-42) | 10 | |
? |
307
В результате доказательства мы вывели логически пустой дизъюнкт D, следовательно, цель допускается. Композиция подстановок Z=X4=X2=X1 =ЯК-42 на наш запрос дает ответ 7=ЯК-42. Любая другая подстановка, например, Х1 =ТУ-134, приводит в тупик.
308
304 :: 305 :: 306 :: 307 :: 308 :: Содержание