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 > <matth...@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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users