mthom/scryer-prolog

Health v2 · maintenance only

Adoption not part of the score

2446 stars · 167 forks observed · 2026-08-28

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

Member repositories

For agents

markdown · JSON · MCP: product_card(name="mthom/scryer-prolog")