{"adoption": {"forks": 26, "observed_at": "2026-08-28T04:03:18.235478+00:00", "stars": 1032}, "canonical_url": "https://ross.abutalabs.com/products/logicjs", "card": {"archived": false, "artifact_type": "library", "description": "Logic programming for JavaScript.", "domain": ["programming-languages", "developer-tools"], "enriched": true, "function": ["interpreter", "parser", "developer-tools"], "health_score": 20, "homepage": null, "language": "JavaScript", "license": "MIT", "license_family": "permissive", "maturity": "maintenance", "member_repos": ["mcsoto/LogicJS"], "name": "mcsoto/LogicJS", "platform": ["browser"], "pushed_at": "2016-08-17T15:42:33+00:00", "repo": "mcsoto/LogicJS", "stars": 1032, "tags": ["logic-programming", "prolog", "unification", "constraint-solving", "relational-programming", "algorithms", "nodejs", "javascript"], "topics": [], "urls": [], "use_cases": ["run logic programming / prolog-style queries in javascript", "solve constraint problems like x + 2 = 6 in JS", "unify logic variables and get all possible answers", "define relational relations like father/grandfather and query them", "embed declarative goal-based search in a JavaScript app"], "what_it_is": "LogicJS is a JavaScript library that brings logic programming (in the style of Prolog and miniKanren) to JavaScript. It provides logic variables, goals, unification, and arithmetic constraints so developers can write declarative relational programs.", "when_to_avoid": ["you need a full-featured Prolog implementation with cut, I/O, and a large standard library", "you need actively maintained software with recent releases and ongoing support", "you need high-performance constraint solving for large search spaces"], "when_to_choose": ["you want miniKanren/Prolog-style relational programming inside JavaScript or Node.js", "you need small constraint solving or unification without a heavy dependency", "you want a lightweight, MIT-licensed library you can drop into a project"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/logicjs", "repo": "mcsoto/LogicJS", "role": "main", "score": 32}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "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:03:18.235478+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:18.235478+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T07:06:45.390342+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "b01384c4abcf3450b276df426b05f10cda448bf1bdfcddcfc37d2c270c1252d7", "fetched_at": "2026-08-28T04:03:18.235478+00:00", "kind": "readme", "missing": false, "url": "https://github.com/mcsoto/LogicJS"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4666, "days_push": 3668, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 32, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}