Предложения 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 :: Содержание