mthom/scryer-prolog

scryer-prolog

✅ 近期有维护

A modern Prolog implementation written mostly in Rust.

2,468Stars
166Forks
+2近 7 天 Star

Rust · BSD-3-Clause · 最近推送 2026-10-22

官方仓库与安装文档 ↗

GitValue · 价值证据

待补证 · 证据覆盖 0%

试跑评分;文档声明与实测分开。未收集证据不代表项目没有价值。

Star 历史

2025-09-292026-11-03
查看历史数据
日期Stars
2026-10-052,459
2026-10-062,459
2026-10-072,459
2026-10-082,459
2026-10-092,459
2026-10-102,459
2026-10-112,459
2026-10-122,459
2026-10-132,460
2026-10-142,460
2026-10-152,460
2026-10-162,460
2026-10-172,460
2026-10-182,460
2026-10-192,462
2026-10-202,462
2026-10-212,462
2026-10-222,462
2026-10-232,462
2026-10-242,462
2026-10-252,465
2026-10-262,466
2026-10-272,467
2026-10-282,467
2026-10-292,468
2026-10-302,468
2026-10-312,468
2026-11-012,468
2026-11-022,468
2026-11-032,468

获取项目

git clone https://github.com/mthom/scryer-prolog.git

克隆仅获取源码;依赖与安装步骤请参照项目的 README.

相关项目与平替候选

同领域不等于功能完全相同,选型前请核对官方文档和许可证。