javaprologjpl

SWI Prolog Java jpl.PrologException Query not working


I have two Prolog files. Clauses and Rules as follows:

clauses.pl

get(mary,milk).
go(sandra,kitchen,1).
get(john,football).
go(john,hallway,1).
go(mary,garden,1).
go(john,kitchen,2).

rules.pl

/* X = person Y=location T,T2= time 
This rule finds last location of a person */
isAt(X,Y) :- go(X, Y, T), \+ (go(X,_,T2), T2 > T).

/* This rule finds the last location of an object */
whereIs(Q,R) :- findall(R,(get(P,Q,I),go(P,R,_)),L), last(L,R),!.

When I create a Query to find out where John is in Java via the following:

//include the prolog file with clauses to test
        File clauseFile = new File ("clauses_qa2.pl");
        File ruleFile = new File ("rules.pl");


  String clausePath = clauseFile.getAbsolutePath();
    String rulePath = ruleFile.getAbsolutePath();
    System.out.println("Clause file path: " + clausePath);
    System.out.println("Rule file path: " + rulePath);
    String t1 = "consult('" + clausePath + "').";
    String t2 = "consult('" + rulePath + "').";
    jpl.JPL.init();
    Query q1 = new Query(t1);
    Query q2 = new Query(t2);

    Variable X = new Variable("_");
    Variable Y = new Variable();
    Query q = new Query("isAt",new Term[]{new Atom("john"),X,Y});
    while (q.hasMoreElements()) {
       Hashtable binding = (Hashtable) q.nextElement();
        Term t = (Term) binding.get(X);
        System.out.println(t); 
    }
    System.out.println(q.toString());

I get the following error:

Exception in thread "main" jpl.PrologException: PrologException: error(existence_error(procedure, /(isAt, 3)), context(:(system, /('$c_call_prolog', 0)), _1))
    at jpl.Query.get1(Query.java:336)
    at jpl.Query.hasMoreSolutions(Query.java:258)
    at jpl.Query.hasMoreElements(Query.java:472)

However, if I remove that while loops and simply print out the query, I get the following response from Prolog:

Clause file path: G:\Natural Language Final Project\PrologTest\clauses_qa2.pl
Rule file path: G:\Natural Language Final Project\PrologTest\rules.pl
isAt( john, _, _0 )

So I know that at least the query is getting to Prolog from Java. Any ideas about what could be causing the error?

Note: Turns out that my file paths were not correct. Changing the code to create the Query as follows:

static void
    test_1()
    {
        Variable X = new Variable();
    Term args[] = { 
        new Atom( "john" ),
        X
    };
    Query query = 
        new Query( 
            "isAt", 
            args );

        System.out.println( "iSAt(john, X) = " + query.query() );
    }
    public static void main(String[] args) throws IOException {

        //include the prolog file with clauses to test
        File clauseFile = new File ("G:\\Natural Language Final Project\\PrologTest\\src\\clauses_qa2.pl");
        File ruleFile = new File ("G:\\Natural Language Final Project\\PrologTest\\src\\rules.pl");
        String clausePath = clauseFile.getAbsolutePath();
        String rulePath = ruleFile.getAbsolutePath();
        System.out.println("Clause file path: " + clausePath);
        System.out.println("Rule file path: " + rulePath);
        String t1 = "consult('" + "G:\\Natural Language Final Project\\PrologTest\\src\\clauses_qa2.pl"+"').";
        String t2 = "consult('" + "G:\\Natural Language Final Project\\PrologTest\\src\\rules.pl"+"').";
        /*Scanner scan = new Scanner(ruleFile);
        while (scan.hasNextLine()){
            System.out.println(scan.nextLine());
        }*/


        jpl.JPL.init();
        Term consult_arg[] = { 
            new Atom( "G:\\Natural Language Final Project\\PrologTest\\src\\clauses_qa2.pl")
        };
        Query consult_query = 
            new Query( 
                "consult", 
                consult_arg );
        Term consult_arg2[] = { 
            new Atom( "G:\\Natural Language Final Project\\PrologTest\\src\\rules.pl")
        };
        Query consult_query2 = 
            new Query( 
                "consult", 
                consult_arg2);

        boolean consulted = consult_query.query()&& consult_query2.query();

        if ( !consulted ){
            System.err.println( "Consult failed" );
            System.exit( 1 );
        }


        test_1();
        Variable X = new Variable("_");
        Variable Y = new Variable();
        Query q = new Query("isAt",new Term[]{new Atom("john"),X});

        while (q.hasMoreElements()) {
           Hashtable binding = (Hashtable) q.nextElement();
            Term t = (Term) binding.get(X);
            System.out.println(t); 
        }
        System.out.println(q.toString());

    }

results in the following output:

    iSAt(john, X) = true
null
isAt( john, _ )

Which is better than the compiler errors, but the answer should be:

isAt(john,X)
X= kitchen

Solution

  • I don't have enough reputation, or I'd leave this as a comment...

    I suspect the problem is that the arity of isAt() is 2, but the query is using isAt() with arity 3: isAt(john, X, Y).