使用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库中的错误还是我做错了什么？

Answer 1

这是库（fdbg）中的一个错误。它已针对即将推出的SICStus 4.3进行修复。