Я хотел бы знать, есть ли простая возможность разделить предикаты в ответе, заданном новой строкой вместо пробелов. Пример:
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