[racket] unification

The source code to mini-Kanren includes a very concise unification
algorithm written in Scheme.  I hear that language is very similar to
Racket.  ;)

http://kanren.sourceforge.net/

I don't know if it will be exactly what you need, but it's at least a
starting point.

Carl Eastlund

On Fri, Dec 10, 2010 at 5:33 PM, YC <yinso.chen at gmail.com> wrote:
> Hi all -
> does anyone know where I can find code for implementations of the
> unification algorithm in racket?
> Thanks,
> yc