Interface: RuleClauseDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / ProofEngine / RuleClauseDto

Interface: RuleClauseDto

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

A clause used as a rule head or body element.

Remarks

Constraints define the variables and their bindings within the clause.

Properties

constraints?

optional constraints: RuleConstraintDto[]

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

Constraints on variables in this clause.