SWI-Prolog 主要开发仓库
SWI-Prolog: 一种全面的Prolog实现 SWI-Prolog是一种基于开源（BSD-2）的Prolog语言实现，具有许多扩展。它使用C（版本11）和Prolog实现，可用于许多平台（Linux、几乎任何类似POSIX的系统、MacOS、Windows）。Debian Linux支持的所有CPU都受支持。对于您的浏览器或Node项目，有一个基于WASM的NPM包。请参阅JavaScript API以了解详细信息。（SWI-）Prolog是一种通用语言。它用于商业规则验证、自然语言处理、软件验证、软件重构、网络配置、安全、机器人技术、法律和医疗领域的推理、图形处理、机器学习（ILP、PLP）、链接数据（RDF）、数学证明等。如果您对在您的组织中使用SWI-Prolog的商业支持感兴趣，请联系SWI-Prolog Solutions b.v.. 分叉、克隆和提交补丁 此仓库使用了许多Git子模块。这导致了常见的问题，即分叉和克隆不起作用。相反，请从https://GitHub.com/SWI-Prolog/swipl-devel.git中克隆，然后将您的克隆与您的分叉关联（用您的GitHub用户名替换我）。 git clone --recurse-submodules https://GitHub.com/SWI-Prolog/swipl-devel.git cd swipl-devel git remote add myfork [email protected]:me/swipl-devel.git 请参阅如何提交补丁以了解详细信息。还请参阅关于如何对快速贡献友好的讨论。 构建 请参阅CMAKE.md和从源代码构建SWI-Prolog。 网站 首页请访问https://www.swi-prolog.org，查看SWI-Prolog的最新信息。 SWI-Prolog工具 您可以使用SWI-Prolog在喜欢的操作系统的控制台上使用任何编辑器来管理源代码。为了获得更好的体验，有几个选项： - 全面的构建包括XPCE，SWI-Prolog的原生GUI工具。这提供了swipl-win可执行文件，可打开Prolog终端。其他工具包括PceEmacs，这是一个带有丰富Prolog模式的Emacs克隆，源代码级调试器，性能分析工具等。XPCE包含在适用于Windows、MacOS和Linux的默认二进制文件中，作为flatpak。 - 一些编辑器带有丰富的模式（SW…
暂无开放 Issues，或尚未同步最近议题。