eclipse-clp

2热度

3回答

我是新来的CP。到目前为止，我已经玩过MiniZinc，我发现这很有趣。之前，我犯了太多，我想弄清楚&求解器是什么CP语言最好先在最活跃的社区而言，积极地开发和研究使用，最好的学习资源（例子&教程）。目前为止的选项似乎是：MiniZinc，ECLiPSe和or-tools。谢谢，

1热度

2回答

连接java与约束逻辑编程

我试图用约束逻辑连接java，我使用netbeans为java和eclipse 6.1为约束逻辑，但是当我试图运行代码时出现异常java.lang.IllegalArgumentException: Missing eclipse.directory property 我已经使用了一个解释如何连接它们的教程，它说编译之后，运行程序，像通常那样启动Java解释器，但是在类的名称之前，提供命令行选项

-1热度

1回答

如何在SEND + MORE = MONEY程序中使用Prolog的标签功能（ECLIPSE程序）？

因此，我设法为Prolog编写了SEND + MORE = MONEY程序，并且在标记结果时遇到了麻烦。任何想法如何做到这一点？我一直使用标签功能，但它仍然无法正常工作。我迷失在这里。 :- lib(ic). puzzle(List) :- List = [S, E, N, D, M, O, R, Y], List :: 0..9, diff_list(List)

2热度

1回答

如何使用ECLiPSe Prolog中的模块自由断言/收回事实？

我想以下运行测试用例： test :- assertz(abc : uvw(1)). 在SWI-Prolog的上述作品。但是我在使用它在ECLiPSe Prolog中工作时遇到问题。我收到以下错误： trying to redefine an existing imported procedure in assertz(abc : uvw(1)) 我没有进口ABC：UVW/1，它也不存

1热度

1回答

如何在Prolog的硬币计数器货币程序中包含一个值？

所以这是一个货币系统，可以用8个不同的硬币值计算最少的硬币数量。例如：1美分，2美分，4美分，33美分等...其中一枚硬币的值必须为'5'。所以这个程序正在试图确定其他个人价值硬币的其他价值必须有多少，每个价值有多少硬币总和在1和99美分之间。所以我的问题是，有没有办法写一段代码，而不必手动插入'5'到程序中（例如：值= [_，_，_，_，5，_，_，，_]或值= [_，5，_，_，_，_，_

1热度

2回答

如何在Eclipse CLP中读取流？

我是Eclipse的新手，我一直在尝试读取文件流而没有成功。我通常使用这种在SWI-Prolog的代码是这样的： read_until_stop(File, [L|Lines]) :- read_line_to_codes(File, Codes), Codes \= end_of_file, atom_codes(L, Codes), L \= stop,

0热度

1回答

将ECLiPSe移植到Prolog

我已经解决了使用ECLiPSe在会议中分配文章的问题。目标是：类似的文章应该在同一届会议上。这是在Eclipse工作溶液： :- lib(fd). paper(1, 'An Empirical Study on Using Stereotypes to Improve Understanding of UML Models'). paper(2, 'Tool-Support

0热度

1回答

解决 - 日食的Clp Prolog的动态约束

我有这样的约束： B #> P1*V1 + P2*V2 + P3*V3+ P4*V4 + P5*V5 + P6*V6 +P7*V7 + P8*V8 + P9*V9 + P10*V10 与P=[1,2,3,4,5,6,7,8,9,10] and V=[V1,V2,V3,....], V::0..1 我想实现这个约束中动态的方式与N元素（的P和V基数将N）。如果我用一个循环实现这个，我有实例化

-1热度

1回答

如何访问prolog列表中的元素？

因此，我试图从列表中获取单个元素使用Prolog而不使用递归，只依靠循环，如foreach，foreachelem等...... 所以我有一个列表Xs = [1,2,3]，我想单独获取每个元素。最好的我想出到目前为止，这是... sumOfList(Xs, Max) :- (foreach(List, Xs), count(I, 1, _), param(Xs) do