java - 使用 net.sf.tweety.lp.asp.solver.Clingo 解析错误

Question

我正在尝试从 net.sf.tweety.lp.asp 版本 1.8 运行 cligo 求解器。我正在使用 clgo 版本 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);

当我运行它时，我收到以下错误：

cligo：错误解析答案集！net.sf.tweety.lp.asp.parser.ParseException：在第 1 行第 9 列遇到““版本”。期待以下之一：“，”...“（”...“}”...

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)

关于可能导致它的任何想法？