0

私が抱えている問題は、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
4

1 に答える 1

1

コマンドラインオプションなしで実行するように要求しているためclingo、clingo は stdin から読み取ります。-n 1 ...オプションは に渡されますbash。次のようにパラメーターを文字列として渡し-cます。

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