Matching is a basic function that is required in almost all AI programs. It is an essential part of more complex operations such as search and control. Matching is the process of comparing two or more structures to discover their like-nesses or differences. The structures may represent a wide range of objects including physical entities, words or phrases in some language, complete classes of things, general concepts, relations between complex entities, and the like.