在回溯上增加值

Question

我该如何在回溯方面进行增量...以便该目标会收到增量的数字..每次下一个运行失败时，我想获得下一个数字

S1 is S + 1,goal(S1)

不起作用，因为：

?- S=0, S1 is S+1.
S = 0,
S1 = 1.

?- S=0,between(1,3,_), S1 is S+1.
S = 0,
S1 = 1 ;
S = 0,
S1 = 1 ;
S = 0,
S1 = 1.

---

这项工作

%%counting
baz(..,C) :- .... arg(...), Y is X + 1, nb_setarg(...), goal(Y), ...

foo(..C) :- ....baz(....,C)..., foo(...C).


%%counter
blah :- ....foo(....,counter(0))...

是不起作用的，我认为递归foo（）会迫使baz（）初始化计数器（0）...但是我对上面的@sligo解决方案很好

baz(..) :- C = counter(0), ....  arg(...), Y is X + 1, nb_setarg(...), goal(Y), ...
foo(..) :- ....baz(....)..., foo(...).

Answer 1

这样，该目标会收到增量的数字。每次下一个运行失败时，我都想获得下一个数字

，即/3 之间的是什么？每次回溯时，它都会制作下一个数字：

goal(X) :- 
  write('inside goal, X is '), 
  write(X),
  nl.

test :-
  between(0, 3, S),
  goal(S).

例如

?- test.
inside goal, X is 0
true ;
inside goal, X is 1
true ;
inside goal, X is 2
true ;
inside goal, X is 3
true ;

编辑：来自 help在/3之间：

（ +低， +高，？value）

之间

低和高的是整数，高＆gt; =低。如果值是整数，
low =＆lt; value =＆lt;高。当值是变量时，它是连续的
与低和高之间的所有整数绑定。如果高是 inf 或
Infinite /3之间是正确的，如果value＆gt; = low，一个功能是
从一定值中产生整数特别有趣。

（并查看逻辑学院的帮助页面上的评论）

Answer 2

使用 不可用的破坏性分配谓词：

?- C = counter(0), between(1, 3, _), arg(1, C, X), Y is X + 1, nb_setarg(1, C, Y).
C = counter(1),
X = 0,
Y = 1 ;
C = counter(2),
X = 1,
Y = 2 ;
C = counter(3),
X = 2,
Y = 3.

替代方案：

foo(C) :-
    between(1, inf, C), 
    goal(C),
    !.

baz(C) :-
    C = counter(0),
    repeat,
        arg(1, C, X),
        Y is X + 1,
        nb_setarg(1, C, Y),
        goal(Y),
        !.

goal(X) :-
    X > 9.

示例：

?- foo(C).
C = 10.

?- baz(C).
C = counter(10).