使用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從標准輸入讀取。 -n 1 ...選項將傳遞給bash 。 將-c參數作為字符串傳遞，如下所示：

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