我想知道是否有可能通过换行符而不是空格来分隔答案集中的谓词。例子：
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