Interface: NafProveResponse
@kortexya/reasoninglayer / Inference / NafProveResponse
Interface: NafProveResponse
Defined in: src/types/inference.ts:430
Response from NAF proof search.
Remarks
The backend returns a BackwardChainResponse for NAF prove.
This type mirrors that structure.
Properties
goalId?
optionalgoalId:string|null
Defined in: src/types/inference.ts:436
Goal ID if the goal was saved (when save_goal=true).
queryTimeMs
queryTimeMs:
number
Defined in: src/types/inference.ts:434
Query execution time in milliseconds.
solutions
solutions:
SolutionDto[]
Defined in: src/types/inference.ts:432
Solutions found.