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

ГЛАВА 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

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

Упражнения

Справочник по автоматической установе WindowsXP тут