clingo：用换行符分隔答案集谓词

Question

我想知道是否可以通过换行符而不是空格轻松地分隔答案集中的谓词。示例：

node(1..3).

调用

clingo path.lp

给予

clingo version 5.4.0
Reading from .../path.lp
Solving...
Answer: 1
node(1) node(2) node(3)
SATISFIABLE

但我想要这样的输出

clingo version 5.4.0
Reading from .../path.lp
Solving...
Answer: 1
node(1) 
node(2) 
node(3) 
SATISFIABLE

Answer 1

找到了。我叫

clingo path.lp --out-ifs=\n

而不是

clingo path.lp

clingo: separate answer set predicates with newline