Определение 6.10. Синтаксис ограничений

<ограничение> ::= ? │

$? │

<связанное-ограничение>

<связанное-ограничение> ::= <простое-ограничение> │

<простое-ограничение>&<связанное-ограничение>|

<простое-ограничение>|<связанное-ограничение>|

<простое-ограничение> ::= <элемент>| ~ <элемент>

<элемент> ::= <константа>│

<простая-переменная>|

<составная-переменная>

Ограничение & обычно служит только для объединения с другими ограни­чениями или связывания переменных. Заметьте, что связывающие ограничения могут использовать связанные переменные и в то же время сами про­изводить связывание переменной со значением некоторого поля. Если имя переменной встретилось в первый раз, то для ограничения будут использо­ваться остальные члены условного элемента, а переменная будет связана с соответствующим значением поля. Если переменная уже была связана, то ее значение работает как дополнительное ограничение для данного поля.

В качестве примера приведем улучшенный вариант правила Find-2-coevai-Person из предыдущего раздела.

Пример 6.19. Улучшенное правило Find-2-Coeval-Person

(defrule Find-2-Coeval-Person

(person (name ?x) (age ?z))

(person (name ?y&~?x) (age &z))

=>

(printout t "name=" ?x " name=" ?y " age=" ?z crlf))

Ограничение ?y&~?x запрещает выводить бессмысленные пары одинаковых имен (Bob-Bob). Однако данное правило все еще выводит эквивалентные по смыслу пары имен (например, Bob-Sue и Sue-Bob). Дальнейшее совершенствование правила продолжится в разд. 6.5.5.