我想将一些 cligo 调用的输出传递到另一个 cligo 调用中，这样第一个的答案集被视为第二个的事实。它应该看起来有点像这样：clingo foo.lp | clingo bar.lp，但是 的输出clingo foo.lp包含一些额外的行，并且答案集的格式在语法上无效。我怎样才能做到这一点？
问问题
124 次
1 回答
1
取自https://github.com/potassco/asprilo-encodings/的 README.md
clingo foo.lp -V0 --out-atomf=%s. | head -n 1 | clingo - bar.lp
于 2019-12-13T10:36:08.983 回答