eclipse-clp

5热度

1回答

我必须以包含9个向量（每个长度为9）的向量的格式来解决数独谜题。在Prolog中看到向量是链接列表，我认为如果我先以二维数组格式转换谜题，搜索速度会更快。实例拼图： puzzle(P) :- P = [[_,_,8,7,_,_,_,_,6], [4,_,_,_,_,9,_,_,_], [_,_,_,5,4,6,9,_,_], [_,_,_,_,_,3,_,5,_], [_,_,3,_

3热度

1回答

测量执行时间ECLIPSE CLP（或序言）

如何测量日食CLP方法的执行时间？目前，我有这样的： measure_traditional(Difficulty,Selection,Choice):- statistics(runtime, _), time(solve_traditional(Difficulty,Selection,Choice,_)), time(solve_traditional(Diff

1热度

1回答

ECLiPSe CLP键入错误？

我试图让在Eclipse CLP一个数独板的尺寸，但是我得到以下错误： type error in dim([[_389, 9, 8, _395, _397, _399, _401, _403, _405], [_409, _411, _413, _415, 7, _419, _421, _423, _425], [_429, _431, _433, _435, 1, 5, _441, _443,

1热度

1回答

ECLiPSe clp：获取网格上的所有相邻单元

所以我的问题是以下几点：我想，给定点X坐标，在网格中的Y坐标，以返回其所有相邻的单元格。（注意：在下面的例子中，我使用符号UL =左上，UM =中上，UR =右上，L =左，R =右，BL =左下，上的5×5网格 _ _ _ _ _ _ UL UM UR _ _ L x R _ _ BL BM BR _ _ _ _ _ _ 对于对于元素x在（3,3）：BM =底部中间和BR =右下

2热度

1回答

如何检查Prolog中的子矩阵的元素

我正尝试在EclipsE Prolog中编写一个Shikaku求解器。我的约束上定义如下： solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hints), shikaku(Width, Height, Hints). shikaku(Width, Height, Hi

3热度

3回答

如何为Prolog指定列表的所有元素都必须是1或0？

如何确保序言列表中的所有元素都是0或1？我需要生成一个给定长度的列表，并确保它只有这两个数字： E.g. [0,0,0,0,0,0]，[1,0,0,1,0,1,1]等我想要使用像IC或FD这样的库，但我可以'很清楚如何用每种方法处理这个问题。

1热度

1回答

实例化故障ECLiPSe CSP

我在ECLiPSe下有我的CSP问题。我希望通过2 [eclipse 11]: test(Xs). instantiation fault in (_268{[1..4]}*100 + _200{[0..9]}*10 + _302{[0..9]}*1) mod 2#=0 Abort 感谢您的帮助，以添加约束到我的密码这需要由两个代表的数整除。我的代码： /* T W O

1热度

1回答

以可读形式列出Eclipse CLP中的所有约束条件

我有一个ECLiPSe脚本，其目标是将我的问题编码为一组算术约束。在REPL，我最终得到的延迟目标清单看起来如下： -(_2941{4 .. 7}) + _2900{1 .. 4} #=< 0 _2941{4 .. 7} - _2900{1 .. 4} #= 3 -(_3393{7 .. 21}) + _3352{4 .. 18} #=< 0 _3393{7 .. 21} - _3352

3热度

2回答

这个prolog优化解决方案有什么问题？

solve(Amounts) :- Total = 1505, Prices = [215, 275, 335, 355, 420, 580], length(Prices, N), length(Amounts, N), Amounts :: 0..Total//min(Prices), Amounts * Prices #= Tot

1热度

1回答

如何在eclipseCLP prolog中使用clpfd（无eclipse java IDE）

我想在prolog中使用CLP做一个简单的路由计划，使用eclipseclp 我想使用clpfd prolog库，但编译器无法识别他们。我得到这个错误： library not found in use_module(library(clpfd)) 我已经安装了所有的eclipseCLP的第三方库，但我无法解决这个问题。