prolog - SWI Prolog 查询

Question

:- dynamic plop/2
add(Var):-
    retract(plop(Var,X))->
    (X = X+1, assert(plop(Var,X)));
    (assert(plop(Var,1))).

所以如果我调用add(y)。它会创建 plop(y,1) 但当我调用 add(y) 时。再说一次，为什么它不加一，所以它会是 plop(y,2)

Answer 1

因为没有 X 可以满足这种关系:X = X+1，因此该规则失败。尝试 Y 是 X+1，assert(plop(Var,Y)) 代替。