Open peschue opened 8 years ago
output of log
8 iterators not the same! 8 unparsed 'member(X,p1) | member(X,p2) :- employee(X).' 8 ----------^ GeneralError: Syntax Error: Could not parse complete input! FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --solver=genuinegc --weak-enable ../examples/weak7.hex (abnormal termination) 8 iterators not the same! 8 unparsed 'member(X,p1) | member(X,p2) :- employee(X).' 8 ----------^ GeneralError: Syntax Error: Could not parse complete input! FAIL: ../src/dlvhex2 -s --plugindir=\!../testsuite --solver=genuinegc --weak-enable --heuristics=monolithic ../examples/weak7.hex (abnormal termination)
This might be old, but did we ever support "|" instead of "v" for disjunction?
According to ASP-Core-2 we should support "|" ("OR" in Section 5 of ASP-Core-2).
output of log
This might be old, but did we ever support "|" instead of "v" for disjunction?
According to ASP-Core-2 we should support "|" ("OR" in Section 5 of ASP-Core-2).