Type Alias: TermUnifyOperation
@kortexya/reasoninglayer / TermUnifyOperation
Type Alias: TermUnifyOperation
Section titled “Type Alias: TermUnifyOperation”TermUnifyOperation =
"unify"|"anti_unify"
Defined in: src/types/visualization.ts:529
Which lattice operation unifyTerms renders.
Remarks
Section titled “Remarks”unify— the most specific term both operands subsume into (variables in either operand bind to the other’s sub-term).anti_unify— the least general generalization of the two, with fresh variables where they disagree.