Правило, в котором используются переменные

Листинг 5.2. Правило, в котором используются переменные

(defrule diagnosis

(patient (name ?pat)

(organism ?org))

(organism (name ?org)

(morphology rod)

(aerobicity aerobic)) =>
(assert

(organism

(name ?org)

(identify enterobacteriaceae) (confidence 0.8)))

При использовании правила интерпретатором вместо всех одноименных переменных подставляется одно и то же значение.