Interface: NafProveResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / NafProveResponse

Interface: NafProveResponse

Defined in: src/types/inference.ts:419

Response from NAF proof search.

Remarks

The backend returns a BackwardChainResponse for NAF prove. This type mirrors that structure.

Properties

goalId?

optional goalId: string | null

Defined in: src/types/inference.ts:425

Goal ID if the goal was saved (when save_goal=true).

---

queryTimeMs

queryTimeMs: number

Defined in: src/types/inference.ts:423

Query execution time in milliseconds.

---

solutions

solutions: SolutionDto[]

Defined in: src/types/inference.ts:421

Solutions found.