PrologKnowledgeBase.java

Go to the documentation of this file.

package edu.tum.cs.prolog;

import java.util.Collection;
import java.util.HashSet;
import java.util.Vector;

import yprolog.ParseException;

public class PrologKnowledgeBase extends yprolog.YProlog {
        public PrologKnowledgeBase() {
                
        }
        
        public void tell(String formula) throws ParseException {
                this.consult(formula);
        }
        
        public boolean ask(String query) throws ParseException {
                return this.yp_eng.setQuery(query);
        }
        
        
        public Collection<String> fetchAtoms(String goal) {
                HashSet<String> set = new HashSet<String>();
                String res = this.queryToString(goal, 0, "");
                if(res == null)
                        return set;             
                for(String s : res.substring(0, res.length()-1).split("\\."))
                        set.add(s);
                return set;
        }
        
        public Vector<String[]> fetchBindings(String goal) {
                return this.queryToTable(goal, 0, true);
        }
}

---

srldb
Author(s): Dominik Jain, Stefan Waldherr, Moritz Tenorth
autogenerated on Fri Jan 11 09:58:29 2013