Тема 12. Факты, правила и вычисления

Содержание

1. Факты и правила
   1. Термы
      1. Атомы
      2. Числа
      3. Структуры
   2. Факты
      1. Объявление
      2. Переменные
      3. Запросы
   3. Правила
      1. Объявление
         1. Простые
         2. Конъюнкция
         3. Дизъюнкция
         4. Отрицание
         5. Рекурсия
      2. Запросы
         1. Унификация
         2. Порядок выполнения
         3. Возвраты и отсечения
2. Вычисления
   1. Операторы и функции
   2. Рекурсивные вычисления
   3. Мемоизация
   4. Обратимые вычисления
3. Списки
   1. Синтаксис
   2. Сопоставление с образцом
   3. Правила на списках
   4. Правила высшего порядка