[ Reference Manual | Alphabetic Index ]

library(anti_unify)

Computes the most specific generalization of two terms

Predicates

anti_unify(Term1, Term2, General)
Computes the most specific generalization of two terms in N*log(N) time, where N is the size of the smaller term.

About


Generated from anti_unify.eci on 2022-09-03 14:26