title: Translating ?x style pattern variables to optima
body: <p>What's in the equivalent, in <a href="https://github.com/m2ym/optima" rel="nofollow">optima</a>, of these two pattern matching examples - from On Lisp and PAIP, respectively?</p>
  
  <pre><code>&gt;(match ’(p a b c a) ’(p ?x ?y c ?x))
  ((?Y . B) (?X . A))
  T
  
  
  (difference between ?x* and ?y*)
  </code></pre>