[ The ECLiPSe Libraries | 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: 2006/09/23 01:55:06 $
Generated from anti_unify.eci on Sat Nov 8 06:57:50 2008