Определение 2.2.4. Синтаксис команды retract

(retrасt <определение-факта>+ \ *)

Аргумент <определение-факта> может являться либо переменной, связанной с адресом факта с помощью правила (эта возможность будет описана в следующей главе), либо индексом факта без префикса (например, 3 для факта с индексом f-3), либо выражением, вычисляющим этот индекс (например, (+ 1 2) для факта с индексом f-3). Если в качестве аргумента функции retract использовался символ *, то из текущей базы знаний системы будут удалены все факты. Функция retract не имеет возвращаемого значения.

Пример 2.2.6. Добавление фактов

(assert (а) (b) (с) (d) (e) (f))

Пример 2.2.7. Удаление фактов

(retract 0 (+ 0 2) (+022))

Эта команда удалит все факты с четными индексами, используя индекс факта непосредственно (первый аргумент) и выражение, которое вычисляет индекс факта (второй и третий аргумент).

Рис. 2.2.5.Результат добавления и удаления фактов

В случае, если факт с указанным индексом не будет найден, CLIPS выдаст соответствующее сообщение об ошибке.

Выполните команду:

Пример 2.2.8. Удаление всех фактов

(retract *)

После выполнения данной команды список фактов будет очищен полностью.

Необходимо заметить, что функция retract не оказывает никакого воздействия на индекс следующих добавленных фактов, т. е. этот индекс не обнуляется. Если после удаления всех введенных фактов добавить в систему какой-нибудь факт, то он получит индекс f-б, несмотря на то, что список фактов в данный момент пуст.

Функция modify

Используя функции assert и retract, можно выполнять большинство необходимых для функционирования правил действий. В том числе и изменения существующего факта. Например, если в список фактов ранее был добавлен факт (temperature is low), который получил индекс 0, то изменить его значение можно, например, следующим образом:

Пример 2.2.9. Изменение существующего факта

(clear)

(assert (temperature is low) )

(retract 0)

(assert (temperature is high) )

Для изменения упорядоченных фактов доступен только этот способ. Для упрощения операции изменения неупорядоченных фактов CLIPS предоставляет функцию modify, которая позволяет изменять значения слотов таких фактов. Modify просто упрощает процесс изменения факта, но ее внутренняя реализация эквивалентна вызовам пар функций retract и assert. За один вызов modify позволяет изменять только один факт. В случае удачного выполнения функция возвращает новый индекс модифицированного факта. Если в процессе выполнения произошла какая-либо ошибка, то пользователю выводится соответствующее предупреждение и функция возвращает значение FALSE.