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><div><br></div>