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 incommon-lisp-user
to a new packagesme-user
, except for those that were marked asdata::
, which I have moved to a new packagesme-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.