Interface: LiteralInputDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / LiteralInputDto

Interface: LiteralInputDto

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

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

Represents a clause that may be negated.

Properties

negated?

optional negated: boolean

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

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

---

term

term: TermInputDto

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

The clause/term to prove or negate.