{"adoption": {"forks": 121, "observed_at": "2026-08-28T04:04:54.856862+00:00", "stars": 1504}, "canonical_url": "https://ross.abutalabs.com/products/corelogic", "card": {"archived": false, "artifact_type": "library", "description": "A logic programming library for Clojure & ClojureScript", "domain": ["programming-languages", "developer-tools"], "enriched": true, "function": ["interpreter", "parser"], "health_score": 56, "homepage": null, "language": "Clojure", "license": "EPL-1.0", "license_family": "copyleft", "maturity": "stable", "member_repos": ["clojure/core.logic"], "name": "clojure/core.logic", "platform": ["jvm", "cross-platform"], "pushed_at": "2025-12-30T18:57:45+00:00", "repo": "clojure/core.logic", "stars": 1504, "tags": ["logic-programming", "minikanren", "prolog", "clojure", "clojurescript", "relational-programming", "constraint-solving", "algorithms"], "topics": [], "urls": [], "use_cases": ["embed a miniKanren logic engine in Clojure programs", "solve relational and constraint logic problems", "run Prolog-style relational programming on the JVM", "write logic programs that compile to ClojureScript for the browser", "work through The Reasoned Schemer exercises in Clojure", "build custom logic programming extensions on a miniKanren core"], "what_it_is": "A logic programming library for Clojure and ClojureScript implementing miniKanren with Prolog-like relational and constraint logic programming. It supports extensions such as cKanren and αKanren and is designed to be extensible to other logic programming forms.", "when_to_avoid": ["you need a full standalone Prolog system with ISO semantics", "your problem is better solved with plain functional programming without backtracking search", "you work outside the Clojure/JVM/JavaScript ecosystem"], "when_to_choose": ["you need declarative relational or constraint logic programming in Clojure or ClojureScript", "you want a mature, well-maintained miniKanren implementation on the JVM", "you need unification and goal-based search integrated with your Clojure code"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/corelogic", "repo": "clojure/core.logic", "role": "main", "score": 59}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "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:04:54.856862+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:04:54.856862+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T04:32:44.812765+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "bc4d4e41af720ad2b5a2122c9177b4b35d52744e9af481134ca06c2bff459321", "fetched_at": "2026-08-28T04:04:54.856862+00:00", "kind": "readme", "missing": false, "url": "https://github.com/clojure/core.logic"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 59, "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": 5607, "days_push": 246, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 59, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}