Определение 6.26. Синтаксис команды list-defrules

(list-defrules <имя-модуля>)

Полный синтаксис этой команды содержит необязательный аргумент <имя-модуля> (о понятии модуля будет рассказано в гл. 12). Если данный аргу­мент не задан, то будет выведен список правил, определенных в текущем модуле. В случае явного задания модуля будет список правил, принадлежа­щих конкретному модулю. Данный аргумент может принимать значение *. В этом случае на экран будет выведен список всех правил из всех модулей.

Для удаления правила используется команда undefrule.

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

(undefrule <имя-правила>)

В качестве параметра команда undefruie принимает имя правила, которое нужно удалить. Если в качестве имени правила был задан символ *, то будут удалены все правила.

Для демонстрации работы команд, приведенных в этом и последующих раз­делах, будем использовать следующие правила:

Пример 6.54. Необходимые для дальнейшей работы правила

(defrule MakeC

(а)

(b)

=>

(assert (с)))

(defrule MakeD

(с)

(or (a)

(b))

=>

(assert (d)))

(defrule MakeE

(d)

(or (a)

(b)

(c))

=>

(assert (e)))

Введите эти правила в среду CLIPS, а затем выполните следующую после­довательность команд: