Skip to content
KortexyaKortexyaReasoning Layer SDK

Interface: LiteralInputDto

@kortexya/reasoninglayer

@kortexya/reasoninglayer / LiteralInputDto

Interface: LiteralInputDto

Section titled “Interface: LiteralInputDto”

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

A literal input for NAF (Negation as Failure) proving.

Represents a clause that may be negated.

Properties

Section titled “Properties”

negated?

Section titled “negated?”

optional negated?: boolean

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

If true, this literal is negated (negation as failure).

term

Section titled “term”

term: TermInputDto

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

The clause/term to prove or negate.