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 is X+1, assert(plop(Var,Y))。