Open ghost opened 11 years ago
Using the following program:
:~ test(_).
leads to
[echo@apollo ~]$ dlvhex2 test.hex --weak-enable DLVHEX 2.1.0 [build Jun 8 2013 gcc 4.7.2 20121109 (Red Hat 4.7.2-8)]
8 for input 'line 2: Rule is not safe.': r=0 (begin!=end)=1 8 error count for parsing DLV output = 1 8 [0x225ab10]dlv (exitcode = 1): Syntax Error: Could not parse complete DLV output! (see error log messages) GeneralError: Fatal: ConcurrentQueueResults error:dlv (exitcode = 1): Syntax Error: Could not parse complete DLV output! (see error log messages)
dlv however, runs the file without complaint.
[echo@apollo ~]$ dlv test.hex DLV [build BEN/Dec 17 2012 gcc 4.6.1]
Best model: {} Cost ([Weight:Level]): <0>
Using the following program:
:~ test(_).
leads to
[echo@apollo ~]$ dlvhex2 test.hex --weak-enable DLVHEX 2.1.0 [build Jun 8 2013 gcc 4.7.2 20121109 (Red Hat 4.7.2-8)]
8 for input 'line 2: Rule is not safe.': r=0 (begin!=end)=1 8 error count for parsing DLV output = 1 8 [0x225ab10]dlv (exitcode = 1): Syntax Error: Could not parse complete DLV output! (see error log messages) GeneralError: Fatal: ConcurrentQueueResults error:dlv (exitcode = 1): Syntax Error: Could not parse complete DLV output! (see error log messages)
dlv however, runs the file without complaint.
[echo@apollo ~]$ dlv test.hex DLV [build BEN/Dec 17 2012 gcc 4.6.1]
Best model: {} Cost ([Weight:Level]): <0>