回答情况：
提问时间：
问题标签：
我做了两个实现来解决Shikaku难题。一个使用顶部、左边、宽度和高度(TLWH)作为每个矩形的参数，另一个使用顶部、左、下、右(TLBR)。是否有办法分析ECLiPSe中电解决方案？
浏览 4修改于2016-04-03得票数 3
回答已采纳
我正在开发一个使用Jess shell的专家系统。我想要一个程序，以便用颜色突出我的代码，因为我想粘贴到word文档中。
浏览 1修改于2015-12-15得票数 0
回答已采纳
1回答
我正面临着构建Clp包的困难时期，这需要永远的时间。添加完包后，我尝试构建Pkg>Build Clp，得到的唯一结果是：Building Clp → `~/.julia/packages/Clp/IBQzB/deps/build.log`没有任何结果，我使用的是
浏览 5提问于2019-10-15得票数 0
1回答
我正在使用python和剪辑来解决一个问题，这是我想要做的：clips.Load("myfile.clp")
加载我的文件。我被困在如何将事实放入剪辑中。我在剪辑中也有一个可变的final，它将存储基于事实的结果。
浏览 6修改于2016-12-15得票数 0
我们有一个列表列表--认为一个示例?- solve([[40,A,B],[30,B],[60,A,B,C]]),label([A,B,C]).将成功地替换B=30、A=10和C=20。这个示例的约束是A+B=40、A+B+C=60，通常每个变量都在0到100之间。每个列表必须以常量开头，并且至少包含一个变量。sum([X|XS],Z) :- X in 0..100,
浏览 2修改于2015-09-02得票数 2
回答已采纳
2回答
我正在试着用prolog CLP写一个地图着色程序。以下是到目前为止的代码。请大家帮帮我。这里的问题是什么？我想在这里替换maplist函数。任何帮助都是非常感谢的。
浏览 6修改于2018-10-19得票数 1
(directive) failed: register:use_module(library(smtp)) Using CLPERROR: /home/***/swi-prolog/lib/swipl-6.2.6/library/clp/clpq/store_q.pl:347:
浏览 3修改于2014-01-24得票数 1
回答已采纳
我正在尝试使用Prolog中的CLP(FD)来解决地图/图形着色问题。我取自论文“NP完全问题的CLP(FD)和ASP解决方案的比较”中的谓词，并尝试使用以下示例： coloring(K, Output) :- graph(Nodes, Edges),
create_output
浏览 17提问于2021-05-11得票数 0
我正在尝试运行其中一个示例.clp文件。我在jess文档中使用了batch。但是我得到了一个错误。喜欢,Jess reported an error in routine batch
while executing(batch "examples/jess/sticks.clp").Program text: ( batch "examples&#
浏览 2修改于2014-03-18得票数 0
具体而言，有这样一个问题：?我的问题
--我假设这与CLP选择如何在内部传播(或不传播)各种约束有关，但我不明白它是如何做到的--对我来说，这都是一个黑匣子。CLP到底是如何传播它的constraints?Is的(或者说是失败的)--有什么方法可以使CLP(FD)适当地应用约束，也许是通过重新排序？我已经尝试过在最后添加一个额外的Y #> X，但是这并没有改变任何变量域。
浏览 3修改于2020-06-20得票数 3
回答已采纳
我正在使用CLPFD库解决SWI Prolog中的调度任务。因为这是我第一次解决比以前更严重的问题，我可能需要一些更有经验的用户的好建议。让我简单地描述一下这个领域/任务。我有一个月的“日历”。每天全天有2次，整晚有2次(长12小时服务)。此外，只有10名工人的工作时间为8小时(短期服务)。
变量
DxD_y，其中x是一
浏览 3提问于2019-04-09得票数 2
2回答
我们看到了带有内联注释的DB2 CLP中的错误。有人知道在DB2命令行处理器中支持什么内联注释语法吗？我们看了的文章，我们写了这样的东西：它适用于我们尝试过的工具(例如IBM )，但是我们的DB2报告说它在DB2 CLP
浏览 9修改于2017-08-01得票数 2
回答已采纳
我得到了Euler 4项目的一个非常慢的解决方案， A in 1..9, C in 0..9, D in 100..999, E #>= D, labeling([max(P)], [P]).
浏览 6修改于2021-07-10得票数 0
回答已采纳
如果我有一个包含varchar(max)全文索引列的表，并且我将以下内容放在'CLP3 365 367‘列中，那么您就不能搜索365或367。如果我将字段设置为'clp3 365367‘，一切都很好。如果没有CLP (大写)，那么一切都很好。顺便说一下，数据库是不区分大小写的。create unique index fts_ind on fts_test (id)val
浏览 0修改于2018-07-07得票数 0
回答已采纳
我正在尝试在我的iPhone应用程序中加载.clp文件。NSString *filePath = [[NSBundle mainBundle]那么，如何使用Eval()命令，以及如何获取clp文件返回的响应？
谢谢,
浏览 0修改于2012-07-31得票数 3
回答已采纳
我正在尝试按照网站上的说明设置支持CPLEX的 (我已经安装了它，并且在我的机器上运行得很流畅)。./configure --with-cplex \--with-cplex-incdir="/opt/ibm/IL
浏览 0提问于2017-02-23得票数 1
我想对列表的所有值做一个简单的约束，我希望数组的每一行的每个索引都有以下(ic)约束：我试着做下面的代码。数组是一个9x9的矩阵，对于每一行，我希望满足上面的约束。但是，这似乎不起作用，程序找不到任何满足约束的可能值。Array :: 1..9, do X2 is Array(I,2], X4 is Arr
浏览 6修改于2016-05-19得票数 2
我试图用约束逻辑编程(CLP)来解决(Swi-)Prolog中的NP硬2D变尺寸Bin hard问题(2 2DVSBPP)。
浏览 2修改于2020-09-27得票数 4
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号