The inference collection has a unification algorithm buried in it. I also have a simpler version in Scheme somewhere in my archives. I&#39;ll look for it.<br><br><div class="gmail_quote">On Fri, Dec 10, 2010 at 3:33 PM, YC <span dir="ltr">&lt;<a href="mailto:yinso.chen@gmail.com">yinso.chen@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Hi all - 
<div><br></div><div>does anyone know where I can find code for implementations of the unification algorithm in racket?  </div><div><br></div><div>Thanks,</div><div>yc</div><font color="#888888"><div><br></div>
</font><br>_________________________________________________<br>
  For list-related administrative tasks:<br>
  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br></blockquote></div><br>