(deftemplate foo (slot x (type SYMBOL)))
(defrule error
(foo (x?x))
(test (>?x 10)) =>)
Результат ввода этих команд изображен на рис. 13.4.
Переменная?х из первого образца правила, согласно ограничениям типа для слота х, должна содержать значения типа symbol. Однако функция > использует только числовые аргументы, поэтому CLIPS выводит соответствующее сообщение об ошибке.
Рис. 13.4. И еще одно ошибочное применение ограничений