Problèmes lors de l'exécution d'un programme ASP à partir d'un programme Java à l'aide de Runtime.exec()

Question

Le problème est que je n'arrive pas à exécuter un programme ASP lorsqu'il est exécuté à l'aide d'un script bash. Ainsi, le script lance l'ASP mais ne fait que commencer, il ne se termine jamais.

Donc ma question est de savoir comment faire Clingo exécuter pleinement lors de l'utilisation bash

bash -c clingo -n 1 <File Path> 

Cette ligne dans un terminal normal donne simplement

clingo version 4.5.4 

Et puis il tient sans terminer.

Je pense que mon problème est d'avoir compris comment bash exécute/exécute les choses, donc toute aide serait grandement appréciée.

Edit:

Il convient de noter que lorsque Clingo interrompu me dit qu'il ya eu zéro temps CPU, il ne fait rien. Je sais que cet asp fonctionne et donne beaucoup de résultats, mais pas lorsqu'il est exécuté avec 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

Vous demandez d'exécuter clingo sans option de ligne de commande, ainsi Clingo STDIN. Les options -n 1 ... sont transmises au bash. Passez le paramètre -c sous forme de chaîne comme ceci:

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