|
Interface Summary |
| IAtom |
This class encapsulates a atom, the smallest entity,
one item of a relation. |
| IFact |
this is the base interface for a relation with a name.
prolog: myFact(dan,joe).
in this example, "myFact" is the name and the parameters "dan" and "joe"
are the atoms in the relation. |
| IFactDb |
This class represent the complete fact database. in this class,
facts are stored as relations in factlists. this factlists are ordered
by the fact's name. |
| IFactList |
IFactList is the base interface for a collection of relations. |
| ILogger |
This class is used to route console output to anything |
| IProgram |
|
| IProgramBuilder |
IProgramBuilder is a kind of class factory.
|
| IQueryList |
A query list stores statementtrees having a Query as root
prolog:
? |
| IRelation |
The base interface of a relation between some atoms, like a row
in a database. |
| IStatement |
IStatement is the base interface for a constraint,
a interface to query facts. |
| IStatementMap |
The statementmap stores statements under their name.
|
| ISymbolTable |
The symboltable is created by the scanner and parser during parsing.
|