33 Unification Unification is a pattern-matching procedure –Takes two atomic sentences, called literals, as input –Returns Failure if they do not matc
{"Image DocumentName": "Unification Unification is a pattern-matching procedure", "Image ImageDescription": "Takes two atomic sentences, called literals, as input. Returns Failure if they do not match and a substitution list, \u03b8, if they do. That is, unify(p,q) = \u03b8 means subst(\u03b8, p) = subst(\u03b8, q) for two atomic sentences, p and q. \u03b8 is called the most general unifier (mgu) All variables in the given two literals are implicitly universally quantified. To make literals match, replace (universally quantified) variables by terms.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}