【发布时间】：2019-12-06 15:27:16
【问题描述】：
我想将一些 cligo 调用的输出通过管道传输到另一个 cligo 调用中，这样第一个的答案集被视为第二个的事实。它应该看起来有点像：clingo foo.lp | clingo bar.lp，但clingo foo.lp 的输出包含一些额外的行，并且答案集的格式在语法上无效。我怎样才能做到这一点？
【问题讨论】：
标签： clingo
【发布时间】：2019-12-06 15:27:16
【问题描述】：
取自https://github.com/potassco/asprilo-encodings/的README.md
clingo foo.lp -V0 --out-atomf=%s. | head -n 1 | clingo - bar.lp
【讨论】：