处理巨大的数值序言

Question

我正在使用 prolog，我需要处理巨大的数值（我知道，prolog 最初并不是为处理数字而设计的）。我正在使用 ECLiPSe 6.1 和一些内置谓词的文档，如 fd_global:ordered_sum 所说：

Any input variables which do not already have finite bounds will be given default bounds of -10000000 to 10000000

如何处理大于 10000000 的值？（一般来说，不一定与 ECLiPSe 一起使用）。

Answer 1

如果你使用library(ic)，那么一般情况下变量会默认得到无限边界，在基本约束中使用时：

?- lib(ic).
Yes (0.13s cpu)

?- sum([X,Y,Z]) #= 0.
X = X{-1.0Inf .. 1.0Inf}
Y = Y{-1.0Inf .. 1.0Inf}
Z = Z{-1.0Inf .. 1.0Inf}
There is 1 delayed goal.
Yes (0.00s cpu)

但是，某些全局约束实现中的算法无法处理无限边界，因此强加了您提到的默认边界：

?- ic_global:ordered_sum([X,Y,Z], 0).
X = X{-10000000 .. 0}
Y = Y{-5000000 .. 5000000}
Z = Z{0 .. 10000000}
There are 5 delayed goals.
Yes (0.06s cpu)

为避免这种情况，您可以在调用全局约束之前用更大的有限边界初始化变量：

?- [X,Y,Z] :: -1000000000000000..1000000000000000, ic_global:ordered_sum([X,Y,Z], 0). X = X{-1000000000000000 .. 0} Y = Y{-500000000000000 .. 500000000000000} Z = Z{0 .. 1000000000000000} There are 5 delayed goals. Yes (0.00s cpu)

处理巨大的数值序言

Handle huge numeric values prolog

prolog

clpfd

eclipse-clp