This is version 4 of the Structure Mapping Engine from the Qualitative Reasoning Group at Northwestern University, led by Ken Forbus. See the SME page at QRG for more information.

I am making some changes to it for my own purposes:

• Replacing its homegrown system-building facility with ASDF. This will make it loadable with Quicklisp; I plan to submit it to Zach for public accessibility.

• Building it on SBCL, ABCL, and possibly others.

• Making it play better with other Lisp code, e.g., so it doesn't add symbols to package common-lisp-user, or add nicknames for that package. I have moved the functions and variables that were in common-lisp-user to a new package sme-user, except for those that were marked as data::, which I have moved to a new package sme-data.

• Replacing its homegrown set implementation, which has O(n) insertion, with FSet; this should make it faster, though I haven't analyzed it to see how large the sets get.

There may be more. This is work in progress.