org.provarules.kernel2

Interfaces

• ProvaBuiltin
• ProvaComputable
• ProvaConstant
• ProvaDerivationNode
• ProvaGoal
• ProvaKnowledgeBase
• ProvaList
• ProvaListPtr
• ProvaLiteral
• ProvaObject
• ProvaPredicate
• ProvaResolutionInferenceEngine
• ProvaResultSet
• ProvaRule
• ProvaRuleSet
• ProvaUnification
• ProvaVariable
• ProvaVariablePtr