Определение 6.5. Синтаксис символьных ограничений для шаблона

(<имя—шаблона > (<имя-слота-1> <ограничение-1>)

…

(<имя-слота-n> <ограничение-n>))

Рассмотрим пример правил, использующих в качестве образца — образец фактов (как упорядоченных, так и шаблонов) с символьными ограничения­ми. Для нормальной работы этого примера (как впрочем и всех примеров, приведенных в подразделе "Адрес образца" разд. 6.5.1) необходимо ввести в CLIPS все конструкторы предопределенных фактов и шаблонов, представленные в разд. 6.5.1. После этого следует выполнить команду reset для инициализации списка фактов. Для проверки правильности выполненных операций откройте окно Facts,как было рассмотрено в разд. 5.4.2. Если все описанные действия были выполнены без ошибок, вы должны увидеть результат, приведенный на рис. 6.4.

Рис. 6.4.Список необходимых фактов

Для нормальной работы примеров не забывайте выполнять команду reset перед каждым запуском правил. Введите в CLIPS определения следующих правил:

Пример 6.7. Правила с символьными ограничениями

(defrule Find-data

(data 1 blue red)

=>

(printout t crlf "Found data (data 1 blue red)" crlf))

(defrule Find-Bob-20

(person (name Bob) (age 20))

=>

(printout t crlf "Found Bob-20 (person (name Bob) (age 20))" crlf))

(defrule Find-Bob-30

(person (name Bob) (age 30))

=>

(printout t crlf "Found Bob-30 (person (name Bob) (age 30))" crlf))

Выполните команды reset и run. Вы должны получить результат, приведен­ный на рис. 6.5.

Рис. 6.5.Выполнение правил с символьными ограничениями

Как мы видим, были активированы и выполнены два правила: Find-data и Find-Bob-20. Это произошло потому, что образцы, заданные в левой части этих правил, нашли в списке фактов данные, полностью соответствующие заданным символьным ограничениям.