Uses of Class
de.unidu.is.pdatalog.ds.Fact

Packages that use Fact

de.unidu.is.hyspirit	Provides classes for interacting with the HySpirit inference engine (the version which is written in Beta).
de.unidu.is.pdatalog	Provides classes for an pDatalog++ inference engine.
de.unidu.is.pdatalog.ds	Provides data structures for the pDatalog++ inference engine.
de.unidu.is.pdatalog.parser	Provides a pDatalog++ parser.
de.unidu.is.retrieval.pire	Provides the PIRE retrieval engine.

Uses of Fact in de.unidu.is.hyspirit

Subclasses of Fact in de.unidu.is.hyspirit

class

HySpiritFact A fact whose string representation matches the one of HySpirit (thus, it is pDatalog and not pDatalog++).

Constructors in de.unidu.is.hyspirit with parameters of type Fact

HySpiritFact(Fact fact)
Creates a new object.

Uses of Fact in de.unidu.is.pdatalog

Methods in de.unidu.is.pdatalog with parameters of type Fact

void	EDBRelation.add(Fact fact) Adds the specified fact to the knowledge base.
void	RelationBase.add(Fact fact) Adds the specified fact to the knowledge base.

Uses of Fact in de.unidu.is.pdatalog.ds

Constructors in de.unidu.is.pdatalog.ds with parameters of type Fact

Fact(Fact fact)
Creates a new fact as a copy of the specified fact.

Uses of Fact in de.unidu.is.pdatalog.parser

Methods in de.unidu.is.pdatalog.parser that return Fact

static Fact	Parser.parseFact(java.lang.String str) Parses a pDatalog++ string and returns the corresponding fact object.
static Fact	Parser.parseTuple(java.lang.String str) Parses a pDatalog++ string (a tuple without predicate name) and returns the corresponding tuple object.
Fact	SimpleParser.tuple()

Uses of Fact in de.unidu.is.retrieval.pire

Methods in de.unidu.is.retrieval.pire with parameters of type Fact

void	Index.add(Fact fact) Adds the fact to the knowledge base.
void	PDatalogIndex.add(Fact fact) Adds the fact to the knowledge base.