| Class and Description |
|---|
| ProvaKnowledgeBase |
| ProvaList |
| ProvaRule |
| Class and Description |
|---|
| ProvaList |
| Class and Description |
|---|
| ProvaList |
| Class and Description |
|---|
| ProvaComputable |
| ProvaConstant |
| ProvaDerivationNode |
| ProvaGoal |
| ProvaKnowledgeBase |
| ProvaList |
| ProvaLiteral |
| ProvaObject
TODO: Rename to ProvaTerm once all rewrite is complete
|
| ProvaPredicate |
| ProvaResultSet |
| ProvaRule |
| ProvaRuleSet |
| ProvaUnification |
| ProvaVariable |
| ProvaVariablePtr |
| Class and Description |
|---|
| ProvaGoal |
| ProvaList |
| ProvaLiteral |
| ProvaObject
TODO: Rename to ProvaTerm once all rewrite is complete
|
| ProvaVariable |
| Class and Description |
|---|
| ProvaConstant |
| ProvaGoal |
| ProvaList |
| ProvaLiteral |
| ProvaObject
TODO: Rename to ProvaTerm once all rewrite is complete
|
| ProvaPredicate |
| ProvaRule |
| Class and Description |
|---|
| ProvaConstant |
| ProvaList |
| ProvaLiteral |
| ProvaObject
TODO: Rename to ProvaTerm once all rewrite is complete
|
| ProvaRule |
| Class and Description |
|---|
| ProvaKnowledgeBase |
| ProvaResultSet |
| ProvaRule |
| Class and Description |
|---|
| 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 |
| Class and Description |
|---|
| ProvaBuiltin |
| ProvaConstant |
| ProvaDerivationNode |
| ProvaGoal |
| ProvaKnowledgeBase |
| ProvaLiteral |
| ProvaPredicate |
| ProvaRule |
| ProvaRuleSet |
| Class and Description |
|---|
| ProvaGoal |
| ProvaRule |
| Class and Description |
|---|
| ProvaGoal |
| ProvaList |
| ProvaLiteral |
| ProvaObject
TODO: Rename to ProvaTerm once all rewrite is complete
|
| ProvaPredicate |
| ProvaUnification |
| ProvaVariable |
| Class and Description |
|---|
| ProvaKnowledgeBase |
| ProvaList |
| Class and Description |
|---|
| ProvaConstant |
| ProvaGoal |
| ProvaKnowledgeBase |
| ProvaList |
| ProvaLiteral |
| ProvaObject
TODO: Rename to ProvaTerm once all rewrite is complete
|
| ProvaPredicate |
| ProvaRule |
| Class and Description |
|---|
| ProvaComputable |
| ProvaKnowledgeBase |
| ProvaLiteral |
| ProvaObject
TODO: Rename to ProvaTerm once all rewrite is complete
|
| Class and Description |
|---|
| ProvaList |
| Class and Description |
|---|
| ProvaList |
Copyright © 2019. All Rights Reserved.