Введение в экспертные системы
Логическое программирование
ГЛАВА 8. Логическое программированиеЛогическое программирование
PROLOG и MBASE
Правила поиска в языке PROLOG
Управление поиском в системе MBASE
Рекомендуемая литература
Упражнения
Формальные языки
Исчисление высказываний
Исчисление предикатов
Снова о роботах и комнатах
Язык PROLOG
Литерал цели сопоставляется с литералом р (унифицируется с р), который называется головой фразы.
Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на)
Опровержение резолюций
Принцип резолюций
Таблица 8.1. Обобщение резолюции
Поиск доказательства в системе резолюций
Дерево доказательства методом опровержения резолюций
Процедурная дедукция в системе PLANNER
