{"adoption": {"forks": 167, "observed_at": "2026-08-28T04:06:52.651377+00:00", "stars": 2446}, "canonical_url": "https://ross.abutalabs.com/products/scryer-prolog", "card": {"archived": false, "artifact_type": "cli-tool", "description": "A modern Prolog implementation written mostly in Rust.", "domain": ["programming-languages"], "enriched": true, "function": ["interpreter", "programming-language"], "health_score": 94, "homepage": null, "language": "Rust", "license": "BSD-3-Clause", "license_family": "permissive", "maturity": "active", "member_repos": ["mthom/scryer-prolog"], "name": "mthom/scryer-prolog", "platform": ["rust", "cross-platform", "cli"], "pushed_at": "2026-08-21T19:13:37+00:00", "repo": "mthom/scryer-prolog", "stars": 2446, "tags": ["prolog", "iso-prolog", "warren-abstract-machine", "logic-programming", "constraint-programming", "interpreter"], "topics": ["rust", "prolog", "prolog-interpreter", "prolog-implementation", "iso-prolog-standard", "prolog-programming-language"], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/scryer-prolog", "repo": "mthom/scryer-prolog", "role": "main", "score": 70}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:06:52.651377+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T08:31:49.853630+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "50d59ff7ae1db5472af95a6ad8ae82628e880f88d1c383294a6301b18d92f0ca", "fetched_at": "2026-08-28T04:06:52.651377+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mthom/scryer-prolog"}, {"content_hash": "ab6876f3b580f457a414d124fcde80712b234894d9877ca30ad4b5d4ad802c53", "fetched_at": "2026-08-29T10:11:46.978904+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/scryer-prolog"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 98, "longevity": 100, "rhythm": 17}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3596, "days_push": 12, "days_rel": 340, "gap_med": null, "n_releases_24m": 1}, "score": 70, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}