prolog.model
Interfaces 
IAtom
IFact
IFactDb
IFactList
ILogger
IProgram
IProgramBuilder
IQueryList
IRelation
IStatement
IStatementMap
ISymbolTable
Classes 
SingletonFactory