Логическое программирование

ГЛАВА 8. Логическое программирование
Логическое программирование
PROLOG и MBASE
Правила поиска в языке PROLOG
Управление поиском в системе MBASE

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

Принцип резолюций


Таблица 8.1. Обобщение резолюции
Поиск доказательства в системе резолюций
Дерево доказательства методом опровержения резолюций
Процедурная дедукция в системе PLANNER
Содержание раздела

---

---