Allegro CL ® the most powerful Symbolic AI development system available today offers a perfect match with LLMs for fact-based enterprise-wide, AI application development. The power of Symbolic AI with LLMs, required by fields ranging from Life Sciences to Manufacturing to Financial Analytics, is delivered by Franz's complete AI technology stack, which also satisfies the need for Retrieval Augmented Generation (RAG). Allegro CL 11.0 is the most effective system for developing and deploying Neuro-symbolic applications to extend AI in the real world. For more information, contact info@franz.com.
Jason Cornez CTO, RavenPack International
Ken Forbus - Walter P. Murphy Professor of Computer Science at Northwestern University
Panos Lekkas, VP - AI Systems, at Triton Systems, Inc.
See the Release Notes for a complete description of new features and enhancements.
Powered by Common Lisp, Allegro CL's true dynamic object technology allows developers to generate leading edge, mission-critical applications that are robust, extensible, and easy to evolve and deploy.
AllegroCache -- The enabling technology behind Allegro CL persistent objects is a high-performance, scalable, dynamic object-caching database. It allows programmers to work directly with objects as if they were in memory while in fact the object data is always stored on disk. It supports fully ACID-compliant transaction mode with both long and short transactions. It automatically maintains referential integrity of complex object networks. AllegroCache provides 64-bit real-time data caching on the application memory to achieve very high data access throughput over as large a data set as required. AllegroCache features include:
The Allegro CL Source Stepper is an offering unique to existing Lisp debuggers, and in fact probably unique to source-level debuggers provided by other languages. The Allegro Source Stepper provides the following:
The source stepper displays source code while stepping through a form. When using it with the IDE, the source stepper is associated with the new Stepper Dialog. The Stepper Dialog allows carefully testing compiled code by interrupting execution at selected forms in the original source code and at macroexpansions of the code, allowing state to be examined at each stop point.
The dialog displays the original lisp source code for a function or method that is being stepped through, highlighting the form at which the stepper is stopped. Button widgets allow proceeding in various ways each time execution has been interrupted. The dialog also displays macroexpanded forms and the values of arguments and local variables, updated after each step. The IDE's code editor can be invoked at any time on the code being stepped through.
The dialog is implemented on top of the base lisp's stepping facility, which also has a simpler textual interface that can be used in a lisp listener. See The Lisp DeBug (ldb) stepper and The source stepper, both in debugging.html.
The Definition Pane (at the top of the dialog) shows the source code for the function or method that's currently being stepped through. This is a copy of the real source code text, complete with comments and original line breaks. The form at which the stepper is currently stopped will be highlighted with a different background color. Red parentheses are drawn around any breakpointed forms. The breakpointable form under the mouse (if any) in the Definition Pane will have a blue border drawn around it.
The form in the Definition Pane where the stepper is stopped is drawn with a background color that can have different meanings. An explanatory note will appear in the dialog the first three times each highlighting color is used. The default color is blue. When green, source-level debugging information is available for the function that the highlighted form will call. This is a "green light" that pressing the Step Into button will continue doing source-level stepping. When orange, you are stopped at a macro form. When gray, it means that no source code range is known for the current step point.
The Form Pane (second from the top) shows just the form at which the stepper is currently stopped. This form would be executed by a subsequent Step Next. Sometimes this is a form in the original source code, and is the same as the highlighted form in the Definition Pane, and at other times it is all or part of a macroexpansion.
The Stack Pane (third from the top) lists the arguments and local variables of the function that is being stepped through, followed by the arguments to the function that called the function being stepped, and then by the arguments to to the next calling function.
If breakpoints are added to functions for which source-level debugging information is not available, the Stepper Dialog will still display some information and allow stepping to be done.
Please refer to the Stepper Dialog documentation for the full details.
Allegro CL 11 is available on the following operating system versions.
Platform | Types available |
---|---|
Linux (x86-64) with glibc 2.17 | non-SMP, SMP |
Linux (ARM v8.1) Amazon Linux (Graviton) with glibc 2.26 | non-SMP, SMP |
Linux (ARM v8) Redhat/CentOS with glibc 2.17 | non-SMP, SMP |
Apple macOS (Apple Silicon) | non-SMP, SMP |
Apple macOS (x86-64) | non-SMP, SMP |
Windows (x86, 32bit) | non-SMP, SMP |
Windows (x86-64) | non-SMP, SMP |
FreeBSD (x86-64) | SMP |