Резюме

В ассоциативных базах данных необходимо иметь функции для добавления, изъятия и поиска элементов данных. Эти функции используют сопоставление с образцом.

При работе с выбранными элементами особенно полезной оказывается комбинация FETCH (ИЗВЛЕЧЬ) и TRY-NEXT (ПОПРО- БУЙ-СЛЕДУЮЩЕЕ). Функция FETCH находит элементы данных, a TRY-NEXT придает им значения.

Демоны сильно расширяют возможности ассоциативной базы данных. Демоны типа "если-добавлено" следят за добавлениями к базе данных, а демоны типа "если-изъято" - за изъятиями из базы данных.

Демоны могут быть реализованы путем добавлений к базе данных, содержащих имя, тип и активирующих их образец.

Наряду с другими элементами данных функцией FETCH извлекаются и демоны типа "если-необходимо". Они выполняются, если функция TRY-NEXT встречает их в списке возможностей. Выполнение обычно приводит к обнаружению новых возможностей, которые вставляются перед оставшимися возможностями.

Множественные контексты позволяют легко переключаться с одного мира на другой при реализации гипотез, связанных с решением задач. Использование инкрементальных контекстов в виде древовидной структуры ведет к значительной экономии, поскольку это позволяет избежать ненужного копирования, записывать следует лишь различия при переходе к новому контексту из старого.

Создание эффективных ассоциативных баз данных является трудной задачей. Некоторые рекомендации имеются, но их недостаточно.

Есть соображения за и против процедурных и декларативных точек зрения на то, как следует хранить знания. В большинстве ситуаций наилучшим подходом является рассматривание задач сразу с двух позиций, когда используются преимущества и той, и другой.