剪辑：修改先前的断言变量

Question

我一直在尝试从前面的一个断言中修改一个变量，但我无法做到。

在结果中，我可以使用绑定，赋值等修改变量，但我想执行以下操作：

(defrule test
  ?h<-(Currentposition ?x ?y)
  (not (Explored (+ ?x 1) ?y))
=> (whatever)

所以，问题是我有一个角色正在移动地图，我想要探索未知的细胞，所以我想去找他们，为了做到这一点，我将它们标记为探索。

在这个例子中，我想检查南方细胞是否已被探索过，我该怎么做？我向x添加1，因为我在下面移动了1行，x-＆gt;行，y-＆gt;列

由于

Answer 1

使用=，返回值约束：

(defrule test
   ?h <- (Currentposition ?x ?y)
   (not =(Explored (+ ?x 1) ?y))
   =>)