Я хотел бы направить вывод одного звонка в другой звонок, чтобы набор ответов первого считался фактами для второго. Это должно выглядеть примерно так: clingo foo.lp | clingo bar.lp
, но вывод clingo foo.lp
содержит несколько дополнительных строк, а формат набора ответов синтаксически неверен. Как я могу этого добиться?
Использовать вывод clingo в качестве ввода clingo
Ответы (1)
Взято из README.md из https://github.com/potassco/asprilo-encodings/
clingo foo.lp -V0 --out-atomf=%s. | head -n 1 | clingo - bar.lp
person
Agilix
schedule
13.12.2019