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