Interface: NafProveRequest

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / NafProveRequest

Interface: NafProveRequest

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

Request for Negation as Failure proof search.

Remarks

Dual input mode: Provide EITHER literals OR goal_id. Uses LiteralInputDto (not TermInputDto) to support negated literals.

Properties

goalId?

optional goalId: string | null

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

Load a previously saved NAF goal by ID. Mutually exclusive with literals.

---

literals?

optional literals: LiteralInputDto[]

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

Literals to prove (conjunction with negation support). Mutually exclusive with goal_id.

---

maxDepth?

optional maxDepth: number

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

Maximum proof depth.

---

maxSolutions?

optional maxSolutions: number

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

Maximum number of solutions.

---

saveGoal?

optional saveGoal: boolean

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

Whether to persist the goal for later reuse.

---

timeoutMs?

optional timeoutMs: number | null

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

Wall-clock timeout in milliseconds. Default: 30000.