SWI:如何为命令行输出编写解决方案？

Question

我使用SWI和clpr库来解决实数上的约束。为此，我从命令行调用SWI并通过另一个程序解析输出。

例如，为了解决类似{F = 1.8 * C + 32}, {C = 25}.的问题，我生成以下命令：

swipl \
  -g "use_module(library(clpr))" \
  -g "{F = 1.8 * C + 32}, {C = 25}, write(\"F -> \"), write(F), write(\"\\n\")" \
  -g halt

的输出是：

F -> 77.0

如果结果是一个普通的数字，但如果结果再次是一个约束(或者更复杂的解决方案，一般情况下)，这是很好的工作。例如，对于{X > 3}, {Y < 5}, {X + Y = 10}.，我在SWI环境中获得了解决方案{Y < 5.0, X = 10.0 - Y}，但我没有找到将其写入命令行输出的方法。有办法这样做吗？

Answer 1

您可以使用dump/3谓词，例如：

{X > 3}, {Y < 5}, {X + Y = 10}, dump([X,Y], [x,y], L), write(L).

生产：

 [y=10.0-x,x>5.0]