[ library(anti_unify) | Reference Manual | Alphabetic Index ]

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.

Examples

    [eclipse 10]: anti_unify(a, b, X).
    X = _65
    yes.

    [eclipse 11]: anti_unify(a, a, X).
    X = a
    yes.

    [eclipse 9]: anti_unify(foo(a,b,c), foo(b,b,b), X).
    X = foo(_115, b, _98)
    yes.

    [eclipse 8]: anti_unify(foo(a,a,a), foo(b,b,b), X).
    X = foo(_98, _98, _98)
    yes.