Skip to content
KortexyaKortexyaReasoning Layer SDK

Interface: NafProveRequest

@kortexya/reasoninglayer

@kortexya/reasoninglayer / NafProveRequest

Interface: NafProveRequest

Section titled “Interface: NafProveRequest”

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

Request for Negation as Failure proof search.

Remarks

Section titled “Remarks”

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

Properties

Section titled “Properties”

goalId?

Section titled “goalId?”

optional goalId?: string | null

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

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

literals?

Section titled “literals?”

optional literals?: LiteralInputDto[]

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

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

maxDepth?

Section titled “maxDepth?”

optional maxDepth?: number

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

Maximum proof depth.

maxSolutions?

Section titled “maxSolutions?”

optional maxSolutions?: number

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

Maximum number of solutions.

saveGoal?

Section titled “saveGoal?”

optional saveGoal?: boolean

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

Whether to persist the goal for later reuse.

timeoutMs?

Section titled “timeoutMs?”

optional timeoutMs?: number | null

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

Wall-clock timeout in milliseconds. Default: 30000.