Interface: RuleDto
@kortexya/reasoninglayer / RuleDto
Interface: RuleDto
Section titled “Interface: RuleDto”Defined in: src/types/proof-engine.ts:45
A complete rule in the rule store.
Properties
Section titled “Properties”body:
RuleClauseDto[]
Defined in: src/types/proof-engine.ts:47
Rule body (conditions).
head:
RuleClauseDto
Defined in: src/types/proof-engine.ts:49
Rule head (conclusion).
id:
string
Defined in: src/types/proof-engine.ts:51
Rule identifier.
isFact
Section titled “isFact”isFact:
boolean
Defined in: src/types/proof-engine.ts:53
Whether this rule is a fact (no body conditions).