java - 使用Runtime.exec()从Java程序运行ASP程序时出现问题

因此，我遇到的问题是，使用bash脚本运行时，我无法使ASP程序完全执行。因此，该脚本运行ASP，但仅启动而从未完成。

所以我的问题是使用bash时如何使clingo完全执行

bash -c clingo -n 1 <File Path>

普通终端中的这条线简单地给出

clingo version 4.5.4

然后保持在那里而没有完成。

我认为我的问题与我对bash如何运行/执行事情的理解有关，因此任何帮助将不胜感激。

编辑：

应该注意的是，当clingo中断告诉我CPU时间为零时，它什么也没做。我知道此asp可以正常工作，并且在使用bash运行时不会产生很多结果。

^C*** Info : (clingo): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1
Models       : 0+
Calls        : 1
Time         : 164.667s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s

最佳答案

您请求执行不带命令行选项的clingo，因此clingo从stdin中读取。 -n 1 ...选项将传递到bash。将-c参数作为字符串传递，如下所示：

bash -c 'clingo -n 1 ...'

关于java - 使用Runtime.exec()从Java程序运行ASP程序时出现问题，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/43749582/