60 likes | 359 Views
2.2 Matching. . 2. Matching is the most important operation on terms.Given two terms, they match if:they are identical, orthe variables in both terms can be instantiated to objects in such a way after the substitution of variables by these objects the terms become identical. Exampledate(D, M, 2
E N D