[racket] unification

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Dec 10 18:32:24 EST 2010

On Dec 10, 2010, at 6:14 PM, YC wrote:

> 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 ;)

It may not. 

I almost pointed you to plt/collects/schelog which contains an old Prolog embedding that I wrote in 1984 with a full-fledged (cyclic) unification inside, all on one page. But then I discovered it's an empty collection ... Whoever put it in should populate it. Worth having around. 

Posted on the users mailing list.