Java 使用net.sf.tweety.lp.asp.solver.Clingo分析错误

我正在尝试从net.sf.tweety.lp.asp版本1.8运行clingo解算器。 我正在使用clingo版本4.3.0

代码是：

Clingo solver = new Clingo("/homes/ftm13/bin/clingo");
solver.computeModels(new ArrayList<String>(Arrays.asList("/homes/ftm13/project/examples/remove_ec_example.lp")),1);

---

有没有关于可能是什么原因的想法？

看起来问题出在您正在解析的源代码中。它包含什么？显然我正在使用的clingo版本目前不受支持。。。

at net.sf.tweety.lp.asp.parser.ASPParser.generateParseException(ASPParser.java:1918)
at net.sf.tweety.lp.asp.parser.ASPParser.jj_consume_token(ASPParser.java:1800)
at net.sf.tweety.lp.asp.parser.ASPParser.AnswerSet(ASPParser.java:177)
at net.sf.tweety.lp.asp.parser.ASPParser.AnswerSetList(ASPParser.java:120)
at net.sf.tweety.lp.asp.solver.Clingo.parseAnswerSets(Clingo.java:46)
at net.sf.tweety.lp.asp.solver.Clingo.buildASL(Clingo.java:132)
at net.sf.tweety.lp.asp.solver.Clingo.computeModels(Clingo.java:78)