mthom/scryer-prolog

scryer-prolog

✅ Recently maintained

A modern Prolog implementation written mostly in Rust.

2,468Stars
166Forks
+27-day stars

Rust · BSD-3-Clause · Last push 2026-10-22

Official repository & installation ↗
rustprologprolog-interpreterprolog-implementationiso-prolog-standardprolog-programming-language

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
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

Get the project

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

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.