| Interface | Description |
|---|---|
| ProvaBuiltin | |
| ProvaComputable | |
| ProvaConstant | |
| ProvaDerivationNode | |
| ProvaGoal | |
| ProvaKnowledgeBase | |
| ProvaList | |
| ProvaListPtr | |
| ProvaLiteral | |
| ProvaObject |
TODO: Rename to ProvaTerm once all rewrite is complete
|
| ProvaPredicate | |
| ProvaResolutionInferenceEngine | |
| ProvaResultSet | |
| ProvaRule | |
| ProvaRuleSet | |
| ProvaUnification | |
| ProvaVariable | |
| ProvaVariablePtr |
Copyright © 2019. All Rights Reserved.