Thanks for all the quick responses from Carl, Shriram, Justin, and Doug so far.
Shriram - didn't realize this has homework implications or I would be more careful ;) Thanks, yc On Fri, Dec 10, 2010 at 2:48 PM, Doug Williams <m.douglas.willi...@gmail.com > wrote: > 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. > >
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
