mthom/scryer-prolog
Some data may be outdated — see provenance labels.
A modern Prolog implementation written mostly in Rust. observed · 2026-09-22
Health v2 · maintenance only
66/100
- Activity 95
- Release rhythm 10
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3644
- days_rel: 388
- days_push: 31
- n_releases_24m: 1
Adoption not part of the score
2453 stars · 167 forks observed · 2026-09-22
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Scryer Prolog is a modern, ISO-compliant Prolog interpreter written mostly in Rust, built on a Warren Abstract Machine implementation. It aims to be an industrial-strength production Prolog environment that also serves as a testbed for research in logic and constraint programming.
Use cases
- run ISO Prolog programs
- learn logic programming with a standards-compliant Prolog
- experiment with constraint and logic programming research
- embed a Prolog interpreter in Rust projects
- study Warren Abstract Machine implementation
- use tabling and delimited continuations in Prolog
When to choose
- you need strict ISO Prolog standard compliance
- you want a modern Prolog implementation written in a safe language
- you need advanced features like tabling, attributed variables, or delimited continuations
- you want a self-contained Prolog system installable via cargo
When to avoid
- you need mature ecosystem features like large libraries or GUI tooling
- you require interfaces specific to SWI-Prolog or SICStus
- you need a long-established production Prolog with decades of hardening
Facets
cli-tool · maturity active
interpreter programming-language programming-languages rust cross-platform cli prolog iso-prolog warren-abstract-machine logic-programming constraint-programming interpreter
2 sources
- readme: https://github.com/mthom/scryer-prolog · fetched 2026-09-22 · 50d59ff7ae1d
- registry_crates: https://crates.io/api/v1/crates/scryer-prolog · fetched 2026-08-29 · ab6876f3b580
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| mthom/scryer-prolog | main | 66 |
For agents
markdown · JSON · MCP: product_card(name="mthom/scryer-prolog")
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem