使用 Runtime.exec() 从 Java 程序中 运行 一个 ASP 程序时出现问题
Problems when running an ASP program from a Java program using Runtime.exec()
所以我遇到的问题是，当 运行 使用 bash 脚本时，我无法让 ASP 程序完全执行。所以脚本 运行 是 ASP 但只是开始，它永远不会完成。
所以我的问题是如何在使用bash
时让clingo完全执行
bash -c clingo -n 1 <File Path>
普通终端中的这一行只是给出
clingo version 4.5.4
然后停在那里没有完成。
我认为我的问题与我对 bash runs/executes 事情的理解有关，因此我们将不胜感激任何帮助。
编辑：
应该注意的是，当被打断时，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 ...'
所以我遇到的问题是，当 运行 使用 bash 脚本时，我无法让 ASP 程序完全执行。所以脚本 运行 是 ASP 但只是开始，它永远不会完成。
所以我的问题是如何在使用bash
时让clingo完全执行bash -c clingo -n 1 <File Path>
普通终端中的这一行只是给出
clingo version 4.5.4
然后停在那里没有完成。
我认为我的问题与我对 bash runs/executes 事情的理解有关，因此我们将不胜感激任何帮助。
编辑：
应该注意的是，当被打断时，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 ...'