使用Runtime.exec（）从Java程序运行ASP程序时出现的问题

Question

所以我遇到的问题是，当使用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

Answer 1

您正在请求执行clingo而不使用命令行选项，因此clingo从stdin读取。 -n 1 ...选项会传递到bash。将-c参数作为字符串传递：

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