Thanks for all the quick responses from Carl, Shriram, Justin, and Doug so far.<div><br></div><div>Shriram - didn&#39;t realize this has homework implications or I would be more careful ;) </div><div><br></div>
<div>Thanks,</div><div>yc<br><br><div class="gmail_quote">On Fri, Dec 10, 2010 at 2:48 PM, Doug Williams <span dir="ltr">&lt;<a href="mailto:m.douglas.williams@gmail.com" target="_blank">m.douglas.williams@gmail.com</a>&gt;</span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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></blockquote></div><br>
</div>