回答情况：
提问时间：
问题标签：
我想通过管道将一些clingo调用的输出传递给另一个clingo调用，这样第一个调用的应答集就会被认为是第二个调用的事实。它应该看起来有点像这样：clingo foo.lp | clingo bar.lp，但是clingo foo.lp的输出包含一些额外的行，并且答案集的格式在语法上是无效的。我怎样才能做到这一点呢？
浏览 11提问于2019-12-06得票数 1
回答已采纳
我在一个逻辑程序中有一个优化语句，用于clingo3：
#minimize [ batteryFlat(mycar)=1, batteryFlat(yourcar)=1, hasNoFuel(mycar此语法适用于clingo3，但不适用于clingo4。应该如何为clingo4重新编写？
浏览 3提问于2015-05-28得票数 1
回答已采纳
我正在尝试在我的Mac上安装Clingo (macOS Mojave -- 10.14.3)。 我已经下载了最新版本的Clingo (5.3.0)并解压缩了它。如果我用终端打开Clingo文件，它会说： Last login: Fri Mar 1 09:31:31 on ttys000/Users/esther/Documents/clingop/clingo ; exit;
clingo
浏览 34提问于2019-03-01得票数 2
我在解释下面的clingo v 5.2.2输出时遇到问题：为什么clingo打印answer1两次？我已经检查了这两个answer1是完全相同的。
我在代码中使用了。这会是问题所在吗？clingo --opt-mode=OptN examples/swap-shift.lp
浏览 13提问于2018-08-11得票数 1
回答已采纳
他们使用clingo，但不要说他们使用的是什么版本。当我从Potassco的sourceforge (4.5.4版)下载最新版本的Clingo时，它会给我带来lexer错误。在Potassco网站上，他们这样说，并通过下载两种版本的Gringo来纠正错误，但他们没有说在使用Clingo运行程序时如何同时引用这两种语言。我下载了Gringo 3.0.0并替换了gringo.exe，但是clingo.exe已经用最新版本的Gringo编译了。
如何下载最新版本的Clingo，或最新兼容的版本，与Gringo
浏览 2提问于2016-11-22得票数 0
回答已采纳
我在一个规划上运行求解器，在不同的答案集中，我得到了一个我认为是警告的东西(因为它没有终止执行)，内容如下：Progression : [3;8] (Error: 1.66667)Progression : [5;8] (Error: 0.6)Progression : [7;8] (Error: 0.142857)
浏览 17提问于2017-12-27得票数 3
回答已采纳
我试图在clingo中实现一个程序，该程序解决了其中一个经典谜语，在这个谜语中，您有一系列事实和约束的断言，而您必须推断出其他事实。.推断出第二宫是蓝色的，因为11. number_blue = number_norw ± 1、5. number_norw = 1和0不在可能的数字范围内，但我不想手动地将它添加到约束中，因为我希望clingo
浏览 2修改于2015-11-05得票数 0
回答已采纳
我现在正在学习prolog，并尝试使用clingo来建模关键约束，但遇到了一些麻烦，希望有人能帮我。的另一个问题是如何在clingo中建立“存在某物”的事实，我想要实现的是使用clingo来判断给定的两组规则是否可以满足，下面是一个例子。假设给出了第二套规则，即“存在一个身份证为1，年龄为27岁的学生”：第二套规则用Clingo写成：
stu(1,v,27).我的问题是，如果简单地将这两组规则放在一个程序中，Clingo将判断它们不能满足原因("mike"，v) != (v
浏览 0修改于2021-04-12得票数 0
回答已采纳
我有以下生成搜索空间的clingo代码，后面是约束。 {in(I,1..4)}=1 :- I=1..n.:- [constraint2] 这段代码可以工作。但我需要clingo来找到存在稳定模型的n的最大值。做到这一点的最好方法是什么？
浏览 46提问于2021-02-08得票数 0
2回答
我在clingo_guild.pdf第21页看到了以下内容：
15 :- not M-2 [ enroll(C) : hours(C,H) = H ] M, max_hours(M).
浏览 0提问于2015-04-30得票数 2
回答已采纳
如果我从终端调用clingo，它就能工作，但是当我使用用于Python的clingo库时，它会失败。我遗漏了什么？1 {x(C) : C=1..10} 2.clingo program.asp --models=0 --enum-mode=domRec --heuristic=Domain --dom-mod=5,16Time : 0.001s (Solving: 0.00s 1st Model: 0.00s Uns
浏览 2提问于2021-07-06得票数 0
回答已采纳
在Clingo 5.0.0中，我正在测试一些涉及算术的程序，我不明白为什么下面的程序是不能满足的：
#const v = 1.
浏览 2修改于2021-04-13得票数 0
回答已采纳
你好，我想了解更多关于clingo的知识，有这样的术语: v(1,2).v(2,1).v(3,4).v(4,3)，这意味着第一个元素不能在第二个元素的同一行，第二个元素不能在第一个元素ecc中。
浏览 1修改于2019-02-18得票数 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-15得票数 1
回答已采纳
用给出Reading from .../path.lpnode(1) node(2) node(3)但是我想要这个输出Reading from ...
浏览 3提问于2020-11-26得票数 0
回答已采纳
%在Prolog中工作，但不在Clingo中工作
如何使用Clingo表达式来获得相似的规则(如果没有大于A的数字，则A是最大值)。谢谢。
浏览 4修改于2020-05-06得票数 0
我正试图在Clingo中创建一个程序来解决Euler路径。到目前为止，这是我想出来的。我希望我的图表出现如下。
edge(a,b).
edge(b,c).
浏览 2修改于2013-10-29得票数 1
回答已采纳
将以下规则添加到我的代码中会导致错误消息(info: operation undefined (Max-Min))： played(Room, Deck), Max = #max {Rank: seat(Player, Room, Deck), rank(Player, Rank)},played(Room, Deck)意味
浏览 4修改于2021-05-19得票数 1
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号