问clingo:带有换行符的单独的应答集谓词
EN

Stack Overflow用户

提问于 2020-11-26 14:59:06

回答 1查看 153关注 0票数 0

我想知道，在由换行符而不是空格设置的答案中，是否可以很容易地将谓词分开。示例：

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

回答已采纳

发布于 2020-11-26 15:10:38

找到了。我打电话

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

而不是

clingo path.lp

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/65024472

复制

相似问题

问clingo:带有换行符的单独的应答集谓词EN