我有一个ECLiPSe脚本，它的目标是将我的问题编码到一组算术约束中。在REPL中，我最终得到了一个延迟的目标列表，如下所示：_2941{4 .. 7} - _2900{1 ..是否有一个谓词可以在约束存储中提供类似的可读约束列表？
delayed_goals提供了一些特定于库的约束
浏览 5提问于2017-02-10得票数 1
回答已采纳
1回答
在Eclipse CLP中，我可以定义多少约束或变量？
我目前正在重塑我的调度问题--我需要用许多atmost约束替换单个alldifferent约束。但由于我引入了此更改，因此我的ecl脚本不起作用。所谓“不工作”，是指Eclipse CLP - eclipse.exe或TkEclipse图形用户界面刚刚关闭。没有任何错误信息，评论或说再见。如果我尝试注释掉一些约束，脚本至少会被
浏览 3提问于2019-05-05得票数 1
ECLiPSe CLP有一个内置的断言挂起(+目标，+优先级，+条件列表)，因此CondList通常是X ->实例的形式。但是，在整个列表被实例化之前，如何挂起呢？如果您列出了-> inst，那么它将从一个元素被实例化的那一刻起就成功。Sidenote:列表没有固定的大小。
浏览 2提问于2018-05-28得票数 0
1回答
我们希望对变量应用约束，但这些约束之间的关系是or的。我们如何在Eclipse CLP (prolog)中做到这一点？我们应该注意到，如果列表很短，比如A is [X, Y, Z]，那么平凡的解决方案就是A[0] #= 0 or A[1] #= 0 or A[2] #= 0 (如果约束等于零)。因此，这不适用于较长的列表。
浏览 14提问于2019-04-24得票数 0
回答已采纳
2回答
在中电使用有哪些缺点？在Express/Standard版本中，Solver确实提供了一些支持，但是可以想象，除了最基本的约束编程之外，还需要购买昂贵的Gurobi / Knitro附加组件。纯粹考虑到它的CLP功能，Solver与ECLiPSe相比如何？
浏览 0提问于2011-02-20得票数 4
我正在开发一个使用Jess shell的专家系统。我想要一个程序，以便用颜色突出我的代码，因为我想粘贴到word文档中。
notepad++有没有扩展?？或者是另一个程序？
浏览 1提问于2012-01-20得票数 0
回答已采纳
在SWI中，下面的查询给出了这个结果：X mod 2#=0,虽然是正确的，但显然不需要第二个约束。?难道没有办法避免这种重复的约束吗？(显然，最正确的方法是不编写导致这种情况的代码，但并不总是那么容易)。
浏览 3提问于2016-10-12得票数 4
回答已采纳
对于哥伦比亚的Observatorio，我使用CLP(R) (在SWI- Fiscal1中)编写了一个简单的税收最小化问题的代码。我想使用minimize/1首先找到最小的解。相反，它首先列出了更大的解决方案。代码如下：?- taxableIncome(joe,N).N = 6 ;
fal
浏览 8提问于2018-01-06得票数 0
我正在尝试匹配和替换X12文件中的文本；下面是一个示例：NM1*QC*1*JOHN*DOE*D*****MI*738787490P~
我需要做的是匹配所有以"CLP*“开头的行，这些行后面没有以"CAS*”开头的行。在此过程中，我需要捕获匹配的"<em
浏览 5提问于2014-07-09得票数 1
回答已采纳
我正在开发一个应用程序，允许用户保存对象，然后查看来自其他用户的对象( near )。我将geopoint存储在Parse.User对象上，并编写了一个查询，查找当前用户附近的其他用户，然后是属于这些用户的对象：var但是，我试图保护用户信息--我不希望其他用户只需调用user.get("location")并获得另一个用户的精确坐标(以及地址)。我尝试将CLP设置为_User表以禁止读和写，但是我<
浏览 1提问于2015-10-19得票数 1
回答已采纳
1回答
CLP(FD)可变域及传播
、、、、
在上学期的Prolog课程中，我在中电推出的时候有点落后。现在我正在努力赶上，在教授提供给所有学生的过去的一次考试中，我已经试过了。具体而言，有这样一个问题：?在我看来答案应该是但是当我在我的SWI-Prolog安装中运行它时，我得到了
Z in -5.. -1\/1.
浏览 3提问于2020-01-09得票数 3
回答已采纳
2回答
我刚开始使用约束编程(来自c#)，我正试图解决这个问题。不幸的是，我没有这类谜题的名称，所以我不知道要搜索什么。我能找到的最接近的例子是非图和层析拼图。益智游戏描述:玩家有一个空的棋盘(不同的大小)，他们必须填充n个颜色，使用线索图案的行和列。每一个线索图案都是行/色中的颜色序列，但是删除了连续的重复。)
abc -> abccc, abbcc, abbbc, aabbc, aaab
浏览 0提问于2018-03-05得票数 4
回答已采纳
我试图从事实中制定一个时间表，事实是以course_meetings(主题，类型，组，描述)的形式出现的，我会生成所有可能的时间表，看看哪一个会通过所有的约束，然而，我已经生成了2.6的事实，我如何优化它，是否有更好的方法。我有32个这种格式的事实，它的32!~= 2.6*10^32
浏览 0提问于2012-04-22得票数 3
回答已采纳
我想使用外壳脚本模拟一个tree命令，它以这种格式递归地显示所有目录：|-- Lorem|-- Lorem |-- Lorem
|-- Lorem
浏览 0提问于2013-01-09得票数 17
回答已采纳
该项目具有使用JUnit库的单元测试。v1.0发布了JUnit。JUnit不是在项目中发布的--它是由构建工具Maven在构建时下载和使用的。贡献者可以选择根据自己的许可协议以目标
浏览 0提问于2014-03-31得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
