Lisa：一个用现代Common Lisp编写的高质量专家系统外壳，为复杂问题提供高效推理引擎。 基于Rete算法，解决多对多匹配难题，效率极高；支持多种Common Lisp实现，如SBCL、LispWorks等；近期完成代码优化，性能大幅提升