0

所以我遇到的问题是，当使用 bash 脚本运行时，我无法让 ASP 程序完全执行。所以脚本运行 ASP 但只是启动，它永远不会完成。

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

bash -c clingo -n 1 <File Path>

普通终端中的这条线只是给出

clingo version 4.5.4

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

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

编辑：

应该注意的是，当被中断的 clgo 告诉我 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
4

1 回答 1

1

您要求在clingo没有命令行选项的情况下执行，因此 cligo 从标准输入读取。选项被-n 1 ...传递给bash. -c将参数作为字符串传递，如下所示：

bash -c 'clingo -n 1 ...'
于 2017-05-04T04:36:43.860 回答