[racket] unification

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Fri Dec 10 17:36:46 EST 2010

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


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

Posted on the users mailing list.