ask(String query) | edu::tum::cs::prolog::PrologKnowledgeBase | [inline] |
fetchAtoms(String goal) | edu::tum::cs::prolog::PrologKnowledgeBase | [inline] |
fetchBindings(String goal) | edu::tum::cs::prolog::PrologKnowledgeBase | [inline] |
PrologKnowledgeBase() | edu::tum::cs::prolog::PrologKnowledgeBase | [inline] |
tell(String formula) | edu::tum::cs::prolog::PrologKnowledgeBase | [inline] |