使用clpfd和fdbg

Question

我有以下使用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-library中的一个bug，还是我做错了什么？

Answer 1

这是一个库中的bug (Fdbg)。该问题已在即将发布的SICStus 4.3中得到修复。