Check whether a term matches a pattern.
Example:
(pattern-matches x (cons a (cons b a)))
The example is equivalent to the test
(and (consp x) (consp (cdr x)) (equal (car x) (cddr x)))
See pattern-match and pattern-match-list.
