We would use this facility as follows: > (pat-match-abbrev '?x* '(?* ?XI) + (?* ?X) > (pat-match-abbrev

Question:

We would use this facility as follows:

> (pat-match-abbrev '?x* '(?* ?XI) + (?* ?X)

> (pat-match-abbrev '?y* '(?* ?y)) + (?* ?Y)

> (setf axyd (expand-pat-match-abbrev '(a ?x* ?y* dl)) +

(A (?* ?XI (?* ?Y) Dl

> (pat-match axyd '(a b c dl) + ((?Y B C) (?XI)

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Question Posted: