edu::tum::cs::prolog::PrologKnowledgeBase Class Reference

Public Member Functions
boolean	ask (String query) throws ParseException
Collection< String >	fetchAtoms (String goal)
Vector< String[]>	fetchBindings (String goal)
	PrologKnowledgeBase ()
void	tell (String formula) throws ParseException

Detailed Description

Definition at line 14 of file PrologKnowledgeBase.java.

edu::tum::cs::prolog::PrologKnowledgeBase::PrologKnowledgeBase ( ) [inline]

Definition at line 15 of file PrologKnowledgeBase.java.

boolean edu::tum::cs::prolog::PrologKnowledgeBase::ask ( String query ) throws ParseException [inline]

queries the value of an atom or conjunction and returns the value

Parameters:

query

an atom or conjunction, e.g. a ground atom such as "parent(eve, kain)" or "age(eve, 27)"

Returns:: true if the formula can be proven to be true given the KB, false otherwise

Exceptions:

ParseException

Definition at line 34 of file PrologKnowledgeBase.java.

Collection<String> edu::tum::cs::prolog::PrologKnowledgeBase::fetchAtoms ( String goal ) [inline]

fetches the ground atoms that match the goal atom

Parameters:

goal

a query such as "parent(eve,X)"

Definition at line 44 of file PrologKnowledgeBase.java.

Vector<String[]> edu::tum::cs::prolog::PrologKnowledgeBase::fetchBindings ( String goal ) [inline]

fetches the ground atoms (as a vector of argument lists) that match the given goal

Parameters:

goalAtom

a query such as "parent(eve,X)"

Returns:: a vector of argument lists, where each list corresponds to one ground atom that matches the query

Definition at line 59 of file PrologKnowledgeBase.java.

void edu::tum::cs::prolog::PrologKnowledgeBase::tell ( String formula ) throws ParseException [inline]

adds a formula, i.e. a fact or a rule, to the knowledge base, e.g. "person(eve)." or "parent(X,Y) :- father(X,Y)."

Parameters:

formula

Exceptions:

ParseException

Definition at line 24 of file PrologKnowledgeBase.java.

The documentation for this class was generated from the following file: