快板CL 11.0

终极神经符号人工智能编程平台

快板CL ®最强大的符号人工智能开发目前可用的系统为基于事实的LLM提供了完美的匹配企业范围的AI应用程序开发。具有LLM的符号AI的威力,需要从生命科学到制造业再到财务分析,由Franz的完整AI技术堆栈,也满足了需求用于检索增强生成(RAG)。Allegro CL 11.0是最有效的系统开发和部署神经符号应用程序,将人工智能扩展到真实世界。更多信息信息,联系人info@franz.com.

  • 经典人工智能符号推理+大型语言模型+图形的组合。
  • 插件AllegroGraph提供无缝语义知识图功能,
  • 使用Lisp或Prolog编写带或不带AllegroGraph的符号推理规则。
  • 从LLM中提取结构化和非结构化信息并存储在AllegroGraph中。
  • 使用内置向量数据库执行快速、准确和智能的文本检索和查询应答。

“随着Allegro CL 11的发布,Franz进一步提升了其工业级Common Lisp平台。出色的ARM支持在Mac和Linux上都意味着切换架构是无痛的。在内部,哈希表和排序得到了显著改进。ACL 11是开发专业人员的一个很好的平台”

杰森·科内兹首席技术官,RavenPack国际

“Common Lisp仍然是最好的语言之一对于人工智能应用程序,其灵活性使快速实验和部署。今天的Lisp编译器是健壮且灵活,允许完全在Lisp或与其他语言的组合。例如,我们的CyclePad系统帮助工科学生学习热力学完全是写成的同样,我们的素描理解系统,CogSketch,这是认知科学研究和教育主要用Allegro CL编写,有两个C模块。”

Ken Forbus-Walter P.Murphy教授西北大学计算机科学系

“几年来,Triton®声波风廓线仪一直在利用Common Lisp的非凡功能和灵活性,以及更多特别是Allegro CL平台,用于研究和快速开发先进嵌入式AI原型实现的尖端方法。随着Allegro CL 11的推出,这个高度集成的开发平台将继续发展,并提供许多强大且方便的新功能。Triton Systems,Inc.AI Systems副总裁Panos Lekkas”

Triton Systems,Inc.AI Systems副总裁Panos Lekkas。

增强功能

请参阅发布笔记以获取新功能和增强功能的完整描述。

11.0中的新功能

  • 神经符号计算的LLM集成
  • 通过AllegroGraph实现知识图和向量存储功能
  • AWS Graviton处理器支持-ARM处理器
  • 可扩展的无锁哈希表提示
  • Apple Silicon和软件的本机端口已公证
  • 基于Bowser的IDE-通用图形和IDE的CG/JS版本
  • 预构建快速但不安全的clrhash实现。
  • 对运行时分析器进行了重大更改。
  • 新的防垃圾系统常数保护。
  • 插槽值调用上原子更新操作的新情况。
  • ff:def-forew-call的新增:libname关键字参数。
  • MariaDB数据库与Allegro CL MySQL功能协同工作。
  • 支持包-本地昵称。
  • 新的修饰器元类允许向类定义中添加代码。
  • AllegroServe文档已移至github。
  • 重新实现了排序以在专用数组上更好地执行。
  • 资源机制在SMP lisp上更有效。
  • 许多布尔运算的性能改进。
  • 新的编译文件策略
  • 400多个修复和150个增强(请参阅发布笔记用于突出显示)。


概述

连接工具 数据库工具 部署工具 GUI工具
集成电路设备 Prolog公司 调整工具 Web服务器

由Common Lisp支持,Allegro CL的真正动态对象技术允许开发人员产生领先的关键任务健壮、可扩展且易于发展的应用程序部署。

  • 阿莱格罗高速缓存
  • 阿莱格罗高速缓存--Allegro CL持久对象背后的支持技术是高性能、可扩展、动态对象缓存数据库。允许程序员直接处理对象,就像它们在内存,而实际上对象数据始终存储在磁盘上。使用long和短期交易。它自动维护引用完整性复杂对象网络。AllegroCache提供64位实时应用程序内存上的数据缓存,以实现非常高的数据根据需要在任意大的数据集上访问吞吐量。AllegroCache功能包括:

    • Allegro Common Lisp中的持久CLOS对象--类定义作为第一类对象存储在数据库中
    • 动态模式演化--动态重新定义类,访问持久对象时会延迟更新
    • 独立客户端服务器(&C)--本地磁盘上的单个用户或多个客户端通过套接字与单个服务器通信
    • 散装货物--将对象添加到数据库
    • 事务日志记录--通电后恢复数据库故障或磁盘崩溃
    • 表达式光标--在一组实例上迭代满足实例的多个插槽上的谓词
    • 范围查询--检索具有与值的范围
    • 母语lisp btrees--速度与BerkeleyDB相当,具有更多控制
    • 交易模式--所有ACID功能、提交/回滚和乐观并发
    • 支持具有数十亿个对象(TB)的数据库数据)
    • 方便的宏在类、映射和集上循环
    • 索引插槽--从槽值到对象的映射,检索对象和对象id(oid)
    • 地图--事务安全的持久哈希表
    • 集合--持久的大型对象集合
    • 支持最常见的数据类型--包括无符号字节8数组、映射和集合
    • 对象ID在数据库生存期内是唯一的--用户可访问
    • 将数据库转储为XML文件
    • 从XML转储还原数据库
    • 用户控制的缓存--对于树的大小和缓存中存储的对象总数
  • 连接性
  • 连接性:
  • 开发
  • 开发:
  • Mac、Windows和Linux的源代码级调试器
  • Allegro CL源步进器

    Allegro CL Source Stepper是现有产品的独特产品Lisp调试器,实际上可能是源代码级独有的其他语言提供的调试器。快板音源步进器提供了以下内容:

    • 调试/单步执行信息可以按需加载,无需重新编译调试中的函数。
    • 可以显示和步进汇编程序说明。
    • 宏被渲染为透明的,也允许宏窗体因为他们所有级别的扩展都要充分参与调试过程。
    • 可以定义和加载语言个性,自定义中实现的领域特定语言的调试器行为通用Lisp。

    源步进器在单步执行时显示源代码通过表单。与一起使用时这个集成电路设备,则与源步进器关联使用新的步进器对话框。Stepper对话框允许仔细测试编译的代码通过中断原始源中选定表单的执行代码和代码的宏扩展,允许检查状态在每个停止点。

    该对话框显示函数或方法,突出显示窗体步进器停止。按钮小部件允许在各种每次执行被中断的方式。该对话框也显示宏展开形式、参数值和局部值变量,在每个步骤后更新。IDE的代码编辑器可以是在任何时候对正在执行的代码调用。

    该对话框在基本lisp步进的顶部实现工具,它还具有可以使用的更简单的文本界面口齿不清监听器。请参见这个Lisp DeBug(ldb)步进器这个源步进器,两者在里面调试.html.

    Stepper对话框示例(点击图片放大)

    定义窗格

    定义窗格(位于对话框顶部)显示当前正在执行的函数或方法的源代码到。这是真实源代码文本的副本,包括注释和原始换行符。步进器的形式当前停止的将以不同的背景突出显示颜色。在任何断点窗体周围都会画上红色括号。这个定义窗格中鼠标下的可断点窗体(如果有)将在其周围绘制蓝色边框。

    “定义窗格”中停止步进器的窗体为用可以有不同含义的背景色绘制。注释将在对话框中出现前三次使用突出显示颜色。默认颜色为蓝色。绿色时,源代码级调试信息可用于突出显示的表单将调用。这是一个“绿灯”按“单步执行”按钮将继续执行源级别步进。当为橙色时,在宏窗体处停止。当为灰色时表示当前步骤没有已知的源代码范围点。

    表单窗格

    表单窗格(顶部第二个)仅显示位于的表单步进器当前已停止。将执行此表格通过随后的步骤Next。有时这是原始表单源代码,与定义中突出显示的表单相同窗格,有时它是宏展开的全部或部分。

    堆栈窗格

    堆栈窗格(顶部第三个)列出了参数以及正在执行的函数的局部变量,后面是调用函数的函数的参数被踩下,然后被参数踩到下一个调用功能。

    步骤对话框中的汇编语言步骤

    如果将断点添加到函数中源级调试信息不可用,Stepper对话框仍将显示一些信息并允许单步执行完成。

    文件

    请参阅步进器对话框文档了解全部细节。

  • 互操作性
  • 互操作性:
  • 运行时
  • 运行时间:

支持的最低操作系统版本

Allegro CL 11可用于以下操作系统版本。

站台 可用类型
带有glibc 2.17的Linux(x86-64) 非脱脂奶粉
带有glibc 2.26的Linux(ARM v8.1)Amazon Linux(Graviton) 非脱脂奶粉
带有glibc 2.17的Linux(ARM v8)Redhat/CentOS 非脱脂奶粉
苹果macOS(Apple Silicon) 非脱脂奶粉
苹果macOS(x86-64) 非脱脂奶粉
Windows(x86,32位) 非SMP,SMP
Windows(x86-64) 非脱脂奶粉
FreeBSD(x86-64) 脱脂奶粉

版权所有©2023 Franz Inc.,保留所有权利|隐私声明 推特