ProofEngine
@kortexya/reasoninglayer / ProofEngine
ProofEngine
Interfaces
- AssertRuleRequest
- AssertRuleResponse
- BacktrackTermStoreRequest
- BacktrackTermStoreResponse
- BindVariableRequest
- BindVariableResponse
- CreateRuleStoreRequest
- CreateStoreTermRequest
- CreateTermStoreRequest
- CreateVariableRequest
- DereferenceRequest
- DereferenceResponse
- EvalBuiltinRequest
- EvalFunctionInfoDto
- FindRulesRequest
- FindRulesResponse
- GetStoreTermRequest
- GetStoreTermResponse
- ListEvalFunctionsRequest
- ListEvalFunctionsResponse
- MarkRuleStoreResponse
- MarkTermStoreResponse
- ProofEngineCreateTermResponse
- RetractRuleRequest
- RetractRuleResponse
- RuleClauseDto
- RuleDto
- RuleStoreResponse
- SetFeatureRequest
- SetFeatureResponse
- TermStoreSessionResponse
- UndoRuleStoreRequest
- UndoRuleStoreResponse
- UnifyTermsRequest
- UnifyTermsResponse