汞约束解决

Question

我知道一点序言，并且经常使用clp(fd(等。本文(显然是在2006年编写(表明，汞现在也有限制的解决方案。我在图书馆参考手册中发现了一些提及。但是，我找不到如何使用它。例如：

main(!IO) :-
   A >= 2,
   A =< 2,
   io.write(A, !IO).

给出编译器错误

test1.m:011: In clause for `main(di, uo)':
test1.m:011:   in argument 1 of call to predicate `int.>='/2:
test1.m:011:   mode error: variable `A' has instantiatedness `free',
test1.m:011:   expected instantiatedness was `ground'.

但在prolog中，与clpfd，

A #>= 2, A #=< 2.

工作正常，给出a = 2。

(将＃添加到汞代码无济于事。(

您如何在汞中进行约束求解？

Answer 1

该论文不说您现在可以在汞中进行约束解决就像您在序言中一样。它描述了添加到汞中的功能在支持的当时在水星中写约束求解器，然后然后使用最终的求解器。

水星没有，也没有任何内置约束求解器。