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.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
