ГЛАВА 8. Логическое программирование

8.1. Формальные языки

8.1.1. Исчисление высказываний

8.1.2. Исчисление предикатов

8.2. Язык PROLOG

8.3. Опровержение резолюций

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

8.3.2. Поиск доказательства в системе резолюций

8.4. Процедурная дедукция в системе PLANNER

8.5. PROLOG и MBASE

8.5.1. Правила поиска в языке PROLOG

8.5.2. Управление поиском в системе MBASE

Рекомендуемая литература

Упражнения