d9e5a92d

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


  • ГЛАВА 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Содержание раздела