Interface: BindVariableResponse
@kortexya/reasoninglayer / ProofEngine / BindVariableResponse
Interface: BindVariableResponse
Defined in: src/types/proof-engine.ts:245
Response after binding a variable.
Properties
boundTo
boundTo:
string
Defined in: src/types/proof-engine.ts:247
Term ID the variable was bound to.
success
success:
boolean
Defined in: src/types/proof-engine.ts:249
Whether the binding was successful.
trailLength
trailLength:
number
Defined in: src/types/proof-engine.ts:251
Trail length after binding (for backtracking).
variableId
variableId:
string
Defined in: src/types/proof-engine.ts:253
Variable ID that was bound.