Пример 6.33. Результат работы правила Find-2-Coeval-Person

name=Sue name=Bob age=20

name=Sue name=Joe age=20

name=Sue name=Joe age=34

name=Bob name=Joe age=20

Если вы внимательно посмотрите на полученный результат и исходные данные, то обнаружите, что это именно то, что нам было нужно. Это спи­сок всевозможных ровесников без повторений и с исключением того факта, что все люди являются ровесниками сами себе. Теперь наше правило дос­тигло полного совершенства! Обратите внимание на тот факт, что если вы повторно попробуете выполнить команду run, то ничего не увидите. Это происходит потому, что в списке фактов содержится информация обо всех обработанных парах, оставшаяся после первого запуска. Для того чтобы по­вторно запускать данный пример, выполняйте команду reset перед каждой командой run.

Условный элемент not, так же как и test, может привести к автоматическо­му добавлению образцов initial-fact или initial-object в левой части правил. Поэтому не забывайте использовать команду reset (которая создает initial-fact и initial-object), чтобы быть уверенным в корректной работе условного элемента not.

В условный элемент not, содержащий элемент test, автоматически преобра­зуется в элемент not, содержащий and с initial-fact и исходным элементом test. Например, следующий условный элемент из примера 6.34 преобразу­ется в элемент из примера 6.35.

Пример 6.34. Условный элемент not, содержащий элемент test

(not (test (> ?time-l ?time-2)))

Пример 6.35. Преобразованный условный элемент not, L содержащий элемент test

(not (and (initial-fact)

(test (> ?time-l ?time-2))))

Замечание

Заметьте, что наиболее простым и правильным способом записи данного вы­ражения будет:

(test (not (> ?time-1 ?time-2) ) ).

6.5.6. Условный элемент exists

Определение 6.21. Синтаксис условного элемента exists

<условный-элемент-exists> ::= (exists <условный-элемент>+)

CLIPS автоматически заменяет exists двумя последовательными условными элементами not. Например, следующее правило (пример 6.36) будет преоб­разовано в правило из примера 6.37.

Пример 6.36. Правило example

(defrule example

(exists (a ?x) (b ?x))=>)

Пример 6.37. Преобразованное правило example

(defrule example

(not (not (and (a ?x) (b ?x))))=>)

Так как внутренний способ реализации exists использует условный элемент not, то для exists справедливы все замечания и ограничения, приведенные в предыдущем разделе.

Рассмотрим следующий пример: