Skip to content

Interface: AssertRuleRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / AssertRuleRequest

Defined in: src/types/proof-engine.ts:81

Request to assert a rule into the rule store.

optional assertFirst?: boolean

Defined in: src/types/proof-engine.ts:83

If true, add at beginning (high priority); if false, add at end.


optional body?: RuleClauseDto[]

Defined in: src/types/proof-engine.ts:85

The rule body (conditions) - empty for facts.


head: RuleClauseDto

Defined in: src/types/proof-engine.ts:87

The rule head (conclusion).