A production-quality forward-chaining expert system shell implementing the Rete algorithm in modern Common Lisp.
Lisa is a production-quality expert system shell that implements Charles Forgy's Rete algorithm for efficient forward-chaining inference. It provides a rule-based reasoning engine that can be integrated into Common Lisp applications to add sophisticated decision-making capabilities. The system solves the difficult many-to-many pattern matching problem through an optimized Rete network implementation.
Common Lisp developers building applications that require rule-based reasoning, expert systems, or complex pattern matching capabilities. AI researchers and practitioners implementing knowledge-based systems in Lisp environments.
Developers choose Lisa for its elegant CLOS/MOP integration that maximizes Common Lisp's expressive power without imposing strict class hierarchy constraints. It offers production-quality performance with recent optimizations that achieve near-theoretical maximum efficiency on modern hardware.
A production-quality expert-system shell, written in thoroughly modern Common Lisp.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
Recent performance profiling and inlining optimizations have cut execution time by 51% and reduced memory allocation by 37% in benchmarks, making it highly efficient for pattern matching.
Seamlessly leverages Common Lisp Object System and Meta Object Protocol, allowing developers to integrate reasoning capabilities without imposing strict class hierarchies.
Runs on a wide range of Common Lisp implementations including SBCL, Clasp, LispWorks, and Allegro CL, ensuring flexibility across environments.
Actively maintained with modern logging via log4cl, bug fixes for long-standing issues, and support for Quicklisp installation as of Spring 2025.
Intentionally omits advanced conditional elements like OR and FORALL found in other expert system shells, which can limit expressiveness for complex rule bases.
Requires proficiency in Common Lisp, a language with a smaller community and steeper learning curve compared to more mainstream options.
Complete documentation is hosted on a separate wiki, which may not be as accessible or consistently updated as integrated documentation.
Lisa is an open-source alternative to the following products: