[racket] unification

Oh that's 10 bucks. Dang. 

So YC, here is your answer: 

 plt/collects/racklog/unify.rkt 

-- Matthias



On Dec 10, 2010, at 6:35 PM, Carl Eastlund wrote:

> On Fri, Dec 10, 2010 at 6:32 PM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>> 
>> 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.
> 
> You may be looking at the legacy directory that is now known as
> "racklog".  The old version is probably lingering because of a
> compiled/ subdirectory.
> 
> --Carl