Изменить несколько фактов

Question

Как я могу уменьшить y для всех моих фактов (точек)?

Я делаю это так:

(defrule decrementY 
     ?pto<-(point (y ?py))  
     (test (< ?py 3)) 
     => 
     (modify ?pto (y (+ 1 ?py)))) 

Answer 1

В принципе правильно, но не петли не рекомендуется.

(defrule decrementY 
    (declare (no-loop TRUE)) 
    ?pto<-(point (y ?py &: (< ?py 3)))  
=> 
    (modify ?pto (y (+ 1 ?py)))) 

Если вы действительно имели в виду * де * Приращение, используйте

(modify ?pto (y (- ?py 1))))