clojure/core.logic

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1504 stars · 121 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

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.

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

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

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

Facets

library · maturity stable

interpreter parser programming-languages developer-tools jvm cross-platform logic-programming minikanren prolog clojure clojurescript relational-programming constraint-solving algorithms

Member repositories

For agents

markdown · JSON · MCP: product_card(name="clojure/core.logic")