[racket] unification

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