prolog.implementation
Interfaces 
IFactDbListener
IQueryListListener
IStatementMapListener
Classes 
AbstractStatement
AndStatement
ConstraintStatement
Fact
FactDb
FactList
MatchingStatement
NodeStatement
Program
ProgramBuilder
Query
QueryList
Relation
StatementMap
SymbolTable
Value
Variable