swi-prolog
安装命令
brew install swi-prologISO/爱丁堡风格的Prolog解释器
许可证： BSD-2-Clause
公式JSON API： /api/formula/swi-prolog.json
公式代码： swi-prolog.rb 在GitHub上
提供瓶装（二进制包）安装支持
| 苹果硅 | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位linux | ✅ | |
当前版本
| 稳定版 | ✅ | 9.2.6 |
| HEAD版 | ⚡️ | HEAD |
依赖项
| berkeley-db@5 | 5.3.28 | 高性能键/值数据库 |
| gmp | 6.3.0 | GNU多精度算术库 |
| libarchive | 3.7.4 | 多格式归档和压缩库 |
| libyaml | 0.2.5 | YAML解析器 |
| openssl@3 | 3.3.1 | 加密和SSL/TLS工具包 |
| pcre2 | 10.44 | 与Perl兼容的正则表达式库，具有新的API |
| readline | 8.2.10 | 用于命令行编辑的库 |
| unixodbc | 2.3.12 | UNIX的ODBC 3连接性 |
从源代码构建时依赖项
| cmake | 3.30.2 | 跨平台构建 |
| ninja | 1.12.1 | 适用于gyp或CMake的小型构建系统 |
| pkg-config | 0.29.2 | 管理库的编译和链接标志 |
分析
| 安装（30天） | |
|---|---|
swi-prolog |
1,146 |
swi-prolog --HEAD |
14 |
| 请求安装（30天） | |
swi-prolog |
1,145 |
swi-prolog --HEAD |
14 |
| 构建错误（30天） | |
swi-prolog --HEAD |
7 |
| 安装（90天） | |
swi-prolog |
3,580 |
swi-prolog --HEAD |
88 |
| 请求安装（90天） | |
swi-prolog |
3,579 |
swi-prolog --HEAD |
88 |
| 安装（365天） | |
swi-prolog |
12,735 |
swi-prolog --HEAD |
309 |
| 请求安装（365天） | |
swi-prolog |
12,730 |
swi-prolog --HEAD |
309 |
