我正在尝试从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：解析答案集时出错！ 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)
关于可能导致它的原因的任何想法？