The inference collection has a unification algorithm buried in it. I also have a simpler version in Scheme somewhere in my archives. I'll look for it.
On Fri, Dec 10, 2010 at 3: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
