我在解释下面的clingo v 5.2.2输出时遇到问题：为什么clingo打印answer1两次？我已经检查了这两个answer1是完全相同的。
我在代码中使用了。这会是问题所在吗？clingo --opt-mode=OptN examples/swap-shift.lp
浏览 13提问于2018-08-11得票数 1
回答已采纳
我想通过管道将一些clingo调用的输出传递给另一个clingo调用，这样第一个调用的应答集就会被认为是第二个调用的事实。它应该看起来有点像这样：clingo foo.lp | clingo bar.lp，但是clingo foo.lp的输出包含一些额外的行，并且答案集的格式在语法上是无效的。我怎样才能做到这一点呢？
浏览 11提问于2019-12-06得票数 1
回答已采纳
1回答
如何在没有事实的情况下展示答案集
、、、、
请告诉我如何在一个用Clingo编译的逻辑程序中显示所有的结果答案集，而不显示事实，我只需要看到没有事实的规则。
浏览 5提问于2022-08-11得票数 0
我想知道，在由换行符而不是空格设置的答案中，是否可以很容易地将谓词分开。示例：clingo path.lp clingo version 5.4.0Solving...Answer: 1SATISFIABLEclingo version 5.4.0
Reading from ...
浏览 3提问于2020-11-26得票数 0
回答已采纳
请不要评论答案，而只是简单地告诉我在程序中我的clingo解决方案是哪里错误的。sc = #;*;$;!1{in(p,NV) : NV(N))1 :- Pass(p).:-in(a,b,p1), in(c,d,P2), consecutive(a,b1{in(p,char) : Char(c))1 > 9 :- Pass(p).
1{in(p,char) : Char(c))1 < 9 :- Pass(p).
浏览 2提问于2020-03-25得票数 0
回答已采纳
我在clingo 中尝试了以下程序(推理模式=枚举所有)member(dave).
edu(X);rich(X) :- member(X).类似于：member(dave) edu(dave) rich(dave)member(X) -> edu(X) ∨ rich(X)我有这个问题，因为我正在比较传统的
浏览 7提问于2021-07-17得票数 1
1回答
在Clingo指南中，有两种称为谨慎和勇敢的模式，如下所示：
谨慎计算一个逻辑程序的谨慎结果(所有答案集的交集)。运行没有模式参数的Clingo将给出正确的答案集：answer 2:{q}从试验中读/谨慎推理
解决.
浏览 0提问于2019-04-14得票数 2
回答已采纳
1回答
我有一个规则，它生成以下内容route(5,2,5,3) route(3,1,3,1) route(3,3,5,3) route(4,1,3,1) route(3,2,3,1) route(3,4,3,1) 以下部分是一条从5点1开始到5点3点结束的路线route(5,2,5,3) 路线(x1，y
浏览 3提问于2019-11-02得票数 1
回答已采纳
1回答
在方格棋盘上放置(未贴上标签的)多米诺骨牌的方式有多少，使水平放置的数字与垂直放置的数字相等？这里是OEIS序列A330658，1, 1, 1, 23, 1608, 371500, 328956227, 1126022690953, ...给定支票板( n )的边长，可以在您所选择的编程语言中生成以a(n)作为尽可能少的字节的方式来安排多米诺骨牌的数量。或者，您可以使用任何序列 默认值。1, 1, 23, 1608, ...或，
1, 1, 1, 23, 160
浏览 0提问于2020-06-07得票数 14
我是Clingo的新手，遇到了需要从答案集中移除子集的情况。例如，我有p(1..9).，我想从我的答案集中删除p(5)。我该怎么做呢？而不创建一个新的答案集？假设我只有一个答案集作为结果，如果我用:- p(5).删除它，程序将导致不满意。
浏览 10提问于2022-04-14得票数 0
因此，我尝试写入cmd.exe的文本是"clingo.exe \"Constants.txt\" \"Solver.txt\" \"Nodes.txt\" > \"Solved.txt\""。clingo.exe是一个答案集编译器，我在常量、求解器和节点文件上使用它来获得解决方案，并通过管道进行求解。所有这些文件都在一个目录中。
浏览 2提问于2012-11-30得票数 1
我对答案集的定义有点困惑。当我有一个程序a.a :- b
在我发现的幻灯片中，他们说a是一个答案集。但根据我的理解，当b= true意味着a= true时，规则就满足了。为什么空集不是答案集？(因为它是{a}的子集)
浏览 0提问于2018-10-05得票数 0
回答已采纳
1回答
在我看来，答案集的推理过程是：
clingo version 5.3.0jim.lp:4:29-49: info: atom does: 1
浏览 0提问于2018-11-22得票数 2
回答已采纳
1回答
在Clingo 5.0.0中，我正在测试一些涉及算术的程序，我不明白为什么下面的程序是不能满足的：关于克林戈的算术，我可能有点怀念。
浏览 2提问于2021-04-13得票数 0
回答已采纳
2回答
我是答案集编程的初学者，对clingo完全陌生。我在clingo上尝试了下面关于护士换班的事实和限制，但我没有得到任何模型，clingo也没有标记出任何错误。我一直拿到UNSAT。我做错了什么？
浏览 27提问于2020-03-11得票数 0
1回答
我有一个优化问题，其中可以存在多个最优答案集。答案集由描述解决方案的原子组成，例如node(0)、edge(1,2)，以及一些与之无关的原子，如color(0)。我希望计算所有最优答案集，只显示节点()和edge()类型的原子，然后找到所有最优答案集中存在的特定相关原子(如node(0)和edge(1,0))。
我知道我可以用#show指令限制某些原子的输出。我还可以添加标志--opt-mode=optN来计算所有最优答案，并将输出限制在那些只有--quiet=1的情况下。根据指南，使用--enum-mo
浏览 16提问于2022-06-18得票数 0
1回答
我最近对逻辑编程感兴趣，更具体地说，我对CLINGO的答案集编程很感兴趣，我想知道在实践中对这个范式的普遍共识是什么。
浏览 8提问于2022-03-22得票数 1
回答已采纳
1回答
假设我有一个图，并希望在图中找到两个不同的类群。团是图顶点的子集，其中所有顶点都是连通的。剪贴画3的两个团(a，b，c)和(b，c，d)的例子图：vertex(X;Y) :- edge(X,Y).得到两个团很容易：cs{clique1(X) : vertex(X)}cs.cs{clique2(
浏览 1提问于2020-11-12得票数 2
回答已采纳
考虑下面的代码，在clingo中编译。col(("rot";"blau")).我有clingo version 4.5.4。我的代码或编译器有什么问题吗？
有人能告诉我，我怎样才能在asp中完成一个有序的和？
浏览 4提问于2017-01-09得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
