问使用clingo输出作为clingo输入
EN

Stack Overflow用户

提问于 2019-12-06 23:27:17

回答 1查看 109关注 0票数 1

我想通过管道将一些clingo调用的输出传递给另一个clingo调用，这样第一个调用的应答集就会被认为是第二个调用的事实。它应该看起来有点像这样：clingo foo.lp | clingo bar.lp，但是clingo foo.lp的输出包含一些额外的行，并且答案集的格式在语法上是无效的。我怎样才能做到这一点呢？

clingo

回答 1

Stack Overflow用户

回答已采纳

发布于 2019-12-13 18:36:09

摘自https://github.com/potassco/asprilo-encodings/的README.md

clingo foo.lp -V0 --out-atomf=%s. | head -n 1 | clingo - bar.lp

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/59215965

复制

相似问题

问使用clingo输出作为clingo输入
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问使用clingo输出作为clingo输入EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问使用clingo输出作为clingo输入
EN