[ 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

- Author: Joachim Schimpf, ECRC Munich
- Copyright © Cisco Systems, Inc
- Date: $Date: 2009/07/16 09:11:24 $

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