1 FOL CS 331/531 Dr M M Awais Unification “It is an algorithm for determining the substitutions needed to make two predicate calculus expressions match”
© 2007 John Wiley & Sons Chapter 6 - Internal AnalysisPPT 6-1 Internal Analysis Chapter Six Copyright © 2007 John Wiley & Sons, Inc. All rights reserved.
