There is one in Kent Dybvig's book, "The Scheme Programming Language." It's online at http://www.scheme.com/tspl3/examples.html#./examples:h10
Justin On Fri, Dec 10, 2010 at 5:33 PM, YC <yinso.c...@gmail.com> wrote: > Hi all - > does anyone know where I can find code for implementations of the > unification algorithm in racket? > Thanks, > yc > > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users