Skip to content

Interface: TermInputInline

@kortexya/reasoninglayer


@kortexya/reasoninglayer / TermInputInline

Defined in: src/types/homoiconic.ts:120

Define a term inline using a sort UUID and features.

optional binding?: string

Defined in: src/types/homoiconic.ts:133

Binder naming this clause’s own identity (?C).

Share it with every { name: '?C' } elsewhere in the rule to write the OSFQL ?C: sort(...) join — one clause binds the term, and another clause’s feature refers to the SAME term rather than to a term that merely unifies. Without it a rule could only relate two clauses through their feature VALUES.


features: Record<string, FeatureInputValueDto>

Defined in: src/types/homoiconic.ts:122


sortId: string

Defined in: src/types/homoiconic.ts:121