私が抱えている問題は、bash スクリプトを使用して実行すると、ASP プログラムを完全に実行できないことです。したがって、スクリプトは ASP を実行しますが、開始するだけで完了しません。
だから私の質問は、bashを使用するときにclingoを完全に実行する方法です
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