[ 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 © Imperial College London and ICL
- Date: $Date: 2000/04/11 11:58:55 $
Generated from anti_unify.eci on Sat Aug 7 01:44:22 2004