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