zlacker

Yes: https://cyc.com/archives/glossary/subl/

Also see: https://www.youtube.com/watch?v=cMMiaCtOzV0

>>mepian+(OP)
Interesting that they're still using Allegro Common Lisp. I would be interested in knowing what technical issues (if any) prevented them from migrating to other implementations.

>>pfdiet+c3
Franz has a nice RDF triple store. No idea if Cyc uses it but if so that could be a factor.

>>pfdiet+c3
Allegro has an amazing UI and debugger. Like seriously, every alternative is janky experience that should be embarrassed to exist.

>>pfdiet+c3
Out of curiosity, which implementation(s) did you have in mind and why would it be desirable to migrate a large project there?

>>pfdiet+c3
Maybe it's not "technical issues", but features and support? Allegro CL has a proven GUI toolkit, for example, and now they moved it into the web browser.

FYI: here are the release notes of the recently release Allegro CL 11.0: https://franz.com/support/documentation/current/release-note...

IIRC, Cyc gets delivered on other platforms&languages (C, JVM, ... ?). Would be interesting to know what they use for deployment/delivery.

>>guenth+PK
Steel Bank Common Lisp is the most performant (by speed of compiled code) and stable open source implementation, and arguably the most standard compliant and bug free of any Common Lisp implementation, free or otherwise. It also is available free of charge.

I mostly wanted to know of any technical obstacles so SBCL could be improved. If I had to wildly guess, maybe GC performance? SBCL was behind ACL on that many years ago (on both speed and physical memory requirements) the last time I made a comparison.