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
