在Prolog和java中查询谓词

时间:2012-07-22 23:20:01

标签: java prolog swi-prolog jpl

我想通过JPL在java中使用Prolog进行查询,我想在java中调用这样的谓词:

predicate_test([X,Y,Z]):-
     a_predicate(X),
     another_predicate(Y).

我在java中查询invoque“predicate_test”,如下所示:

   Query q4=null;
    try{
        q4 = new Query("predicate_test(Percept).");
        System.out.println(q4.query());
    }
    catch(PrologException pl){

        System.out.println(pl.getMessage());
    }

我从catch块获取此消息

PrologException: error(existence_error(predicate_test, /(schedule, 1)), context(:(system, /('$c_call_prolog', 0)), _37))

我的方法出了什么问题?

提前致谢

0 个答案:

没有答案