-
ГЛАВА 8. Логическое программирование
Логическое программирование
8.5. PROLOG и MBASE
8.5.1. Правила поиска в языке PROLOG
8.5.2. Управление поиском в системе MBASE
Рекомендуемая литература
Упражнения
8.1. Формальные языки
8.1.1. Исчисление высказываний
8.1.2. Исчисление предикатов
Снова о роботах и комнатах
8.2. Язык PROLOG
Литерал цели сопоставляется с литералом р (унифицируется с р), который называется головой фразы.
Листинг 8.1. Простая программа на языке PROLOG, определяющая отношение on (на)
8.3. Опровержение резолюций
8.3.1. Принцип резолюций
Таблица 8.1. Обобщение резолюции
8.3.2. Поиск доказательства в системе резолюций
Дерево доказательства методом опровержения резолюций
8.4. Процедурная дедукция в системе PLANNER
там
Photoshop for WEB там