[ 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