发现各种软件替代方案，找到更适合您的选择
SWI-Prolog 提供了一个完整的自由软件 Prolog 环境，用于进行逻辑推理的软件编程。结合其图形工具包 XPCE，该开发始于1987年，并始终围绕实际应用需求推进。
提供 1 个替代方案
一款原生macOS应用程序，允许用户与本地大语言模型聊天，无需安装其他软件即可从Mac上的文件、文件夹和网站获取信息。
提供 28 个替代方案
