trealla-prolog 下载 - Windows / Linux 版
用普通 C 语言编写的紧凑高效的 ISO Prolog 解释器
trealla-prolog 是什么
trealla-prolog 是一款适用于 Windows / Linux 的命令行工具:用普通 C 语言编写的紧凑高效的 ISO Prolog 解释器。
它通过 GitHub Releases 分发,本站不托管或镜像安装包。它采用 MIT 许可证分发。
trealla-prolog 适合需要用普通 C 语言编写的紧凑高效的 ISO Prolog 解释器的用户。作为一款命令行工具,它在终端中运行,适合脚本自动化和开发工作流。
核心功能
功能与用途来自 公开元数据和项目说明,具体以官方文档为准。
- 用普通 C 语言编写的紧凑高效的 ISO Prolog 解释器。
- 适合在命令行中完成批量处理和自动化任务。
- 以命令行工具形式安装,可在终端中直接调用。
trealla-prolog 适合谁用
trealla-prolog 适合需要用普通 C 语言编写的紧凑高效的 ISO Prolog 解释器的用户。如果你在 Windows / Linux 上寻找一款命令行工具,并且希望用一条命令完成安装与后续升级,它值得先试。
安装量与热度
最近 30 天通过包管理器安装 101 次,过去 12 个月累计 124 次。
下载
Windows
| 日期 | 版本 | 大小 | 架构 | |
|---|---|---|---|---|
| 2026-11-03 | v3.14.44 | 3.7 MB | x64 | 下载 |
| 2026-11-03 | v3.14.43 | 3.7 MB | x64 | 下载 |
| 2026-11-02 | v3.14.42 | 3.7 MB | x64 | 下载 |
| 2026-11-02 | v3.14.41 | 3.7 MB | x64 | 下载 |
| 2026-11-02 | v3.14.40 | 3.7 MB | x64 | 下载 |
| 2026-11-02 | v3.14.39 | 3.7 MB | x64 | 下载 |
| 2026-11-02 | v3.14.37 | 3.7 MB | x64 | 下载 |
| 2026-11-02 | v3.14.36 | 3.7 MB | x64 | 下载 |
| 2026-11-01 | v3.14.35 | 3.7 MB | x64 | 下载 |
| 2026-11-01 | v3.14.34 | 3.7 MB | x64 | 下载 |
Linux
| 日期 | 版本 | 大小 | 架构 | |
|---|---|---|---|---|
| 2026-11-03 | v3.14.44 | 1.2 MB | ARM64 | 下载 |
| 2026-11-03 | v3.14.43 | 1.2 MB | ARM64 | 下载 |
| 2026-11-02 | v3.14.42 | 1.2 MB | ARM64 | 下载 |
| 2026-11-02 | v3.14.41 | 1.2 MB | ARM64 | 下载 |
| 2026-11-02 | v3.14.40 | 1.2 MB | ARM64 | 下载 |
| 2026-11-02 | v3.14.39 | 1.1 MB | ARM64 | 下载 |
| 2026-11-02 | v3.14.37 | 1.1 MB | ARM64 | 下载 |
| 2026-11-02 | v3.14.36 | 1.1 MB | ARM64 | 下载 |
| 2026-11-01 | v3.14.35 | 1.1 MB | ARM64 | 下载 |
| 2026-11-01 | v3.14.34 | 1.1 MB | ARM64 | 下载 |
和同类应用怎么选
如果你更看重安装量、依赖数量或开源许可,可以对照上面概览表里的数字;需要逐项对比时,见下方替代品与对比页。
与同类应用对比
只对比公开元数据,不做主观推荐;需要逐项对比时见对比页。
| 应用 | 版本 | 许可证 | 架构 | 近 30 天安装 |
|---|---|---|---|---|
| trealla-prolog | v3.14.30 | MIT | 命令行 | 101 |
| mujs | 1.3.11 | ISC | 命令行 | 103 |
| mockolo | 2.7.0 | Apache-2.0 | 命令行 | 95 |
| pure-ftpd | 1.0.54 | BSD-2-Clause AND BSD-3-Clause AND BSD-4-Clause AND ISC | 命令行 | 114 |
命令行工具中的类似应用
同一分类中最接近的应用,按介绍相似度和安装量排序。它们是相关工具,并非确认可互换的替代品;人工挑选的正面对比请见对比页。
mujs
可嵌入的JavaScript解释器mockolo
Swift 高效模拟生成器pure-ftpd
安全高效的FTP服务器pnpm@11
快速、节省磁盘空间的包管理器ossp-uuid
用于生成 UUID 的 ISO-C API 和 CLI所属分类:命令行工具
数据来自 GitHub Releases · 安装量来自 公开统计 · 更新于 2026-11-04 · 排名方法 · 编辑政策