Interface: ChaseAtomDto
@kortexya/reasoninglayer / ChaseAtomDto
Interface: ChaseAtomDto
Section titled “Interface: ChaseAtomDto”Defined in: src/types/chase.ts:40
A relational chase atom: a predicate name and an ordered argument list.
Remarks
Section titled “Remarks”Ground facts contain only Constant and Witness arguments; rule bodies and
heads may additionally contain Variable arguments.
Example
Section titled “Example”const fact: ChaseAtomDto = { predicate: 'employee', args: [{ type: 'Constant', name: 'alice' }],};Properties
Section titled “Properties”args:
ChaseArgDto[]
Defined in: src/types/chase.ts:44
Ordered argument list.
predicate
Section titled “predicate”predicate:
string
Defined in: src/types/chase.ts:42
Predicate name.