Skip to content

Interface: AssertRuleRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ProofEngine / AssertRuleRequest

Interface: AssertRuleRequest

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

Request to assert a rule into the rule store.

Properties

assertFirst?

optional assertFirst: boolean

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

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


body?

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).