我有以下使用 clpfd 的 Prolog 代码：
:- use_module(library(clpfd)).
:- use_module(library(fdbg)).
go( X , Y ) :-
X = [X1,X2],
X1 in 0..10,
X2 in 0..10,
Y in -1..1,
X1 #= X2 #<=> IsNoChange,
X1 #> X2 #<=> IsDown,
X1 #< X2 #<=> IsUp,
( (IsNoChange #=1 #/\ Y #=0) #\/ (IsDown #=1 #/\ Y #= -1) #\/ (IsUp #=1 #/\ Y #=1) ),
labeling([], X).
如果我运行 go/2 谓词，它会按预期工作：
| ?- go([1,2],Y).
Y = 1 ?
yes
| ?- go([3,2],Y).
Y = -1 ?
yes
| ?-
| ?- go(X,Y).
X = [0,0],
Y = 0 ?
yes
| ?-
但是，如果我现在启用 fdbg-debugger，我不会得到 Y 的值：
| ?- fdbg_on([file('fdbg.log',write) ]).
% The clp(fd) debugger is switched on
yes
% advice
| ?- go(X,Y).
X = [0,0],
Y in-1..1 ?
yes
% advice
这是 fdbg 库中的错误还是我做错了什么？