我正在尝试通过Java使用带有GNU解释器的Prolog,但我有一个 大问题。
如果对变量进行查询,我总是得到变量的名称。
所以这里有一些代码:
node(1,3,3).
node(2,14,1).
node(3,19,5).
node(4,10,7).
node(5,15,8).
connection(1,2).
connection(1,2).
connection(2,3).
connection(3,2).
connection(1,3).
connection(3,1).
connection(2,4).
connection(4,2).
connection(4,5).
connection(5,4).
connection(3,5).
connection(5,3).
connection(1,4).
connection(4,1).
route(ID1,ID2,List) :- route(ID1,ID2,List,[]).
route(ID1,ID2,[ID1,ID2],List) :- connection(ID1,ID2),
not(member(ID1,List)).
route(ID1,ID2,[ID1|ID1s],List) :- connection(ID1,ID3),
not(member(ID1,List)),
route(ID3,ID2,ID1s,[ID1|List]).
findPath(Sum,Result) :- route(1,1,Result),
X is Sum+1,
length(Result, X).
此代码在GNU Prolog控制台和SWIPL中运行良好 但在Java中
VariableTerm lengthTerm = new VariableTerm("Length");
Term[] arg_list = {new IntegerTerm(5), lengthTerm };
CompoundTerm(AtomTerm.get("findPath"), arg_list);
CompoundTerm goalTerm = new CompoundTerm(AtomTerm.get("findPath"), arg_list);
Goal goal = interpreter.prepareGoal(goalTerm);
interpreter.runOnce(goalTerm);
System.out.println("Length: " + lengthTerm.dereference());
长度的结果是"长度"。所以我认为没有真正的结果保存在内存中。
如果我尝试if (rc == PrologCode.SUCCESS || rc == PrologCode.SUCCESS_LAST)
之类的东西并捕获NoAnswerException,则会抛出异常。
我能做什么?我试图解决这个问题几个小时。
请帮助:)