Тема 13. Задачи, унификация и объекты

Содержание

  1. Задачи
    1. Задача о расстановке ферзей
    2. Загадка Эйнштейна
  2. Унификация и объекты
    1. Унификация
    2. Определение
    3. Наследование
    4. Мультиметоды

Домашнее задание 14. Деревья поиска на Prolog

  1. Реализуйте ассоциативный массив (map) на основе деревьев поиска. Для решения можно реализовать любое дерево поиска логарифмической высоты.
  2. Простой вариант. Разработайте правила:

    • map_build(ListMap, TreeMap), строящее дерево из упорядоченного списка пар ключ-значение (O(n));
    • map_get(TreeMap, Key, Value), проверяющее, что массив содержит заданную пару ключ-значение (O(log n)).
  3. Сложный вариант. Дополнительно разработайте правила:

    • map_put(TreeMap, Key, Value, Result); добавляющее пару ключ-значение в массив, или заменяющее текущее значение для ключа (O(log n));
    • map_remove(TreeMap, Key, Result) удаляющее отображение для ключа (O(log n));
    • map_build(ListMap, TreeMap), строящее дерево из неупорядоченного списка пар ключ-значение (O(n log n)).