Constraint-based things to check out:
1. Sussman's talk "We Really Don't Know How to Compute" (http://www.infoq.com/presentations/We-Really-Dont-Know-How-T...) and his work on the Propagator (https://github.com/ProjectMAC/propagators).
2. Gremlin Graph Traversal Machine (http://arxiv.org/pdf/1508.03843v1.pdf, http://www.datastax.com/dev/blog/the-benefits-of-the-gremlin...)
3. Clojure core.logic (https://github.com/clojure/core.logic) and core.match (https://github.com/clojure/core.match)
4. Yedalog: Exploring Knowledge at Scale (http://research.google.com/pubs/pub43462.html, https://www.youtube.com/watch?v=SP9zS43FRzQ)
5. Datomic Datalog (http://docs.datomic.com/query.html)
In Handbook of Constraint Programming (2006) [pdf]clojure
core.logic
Clojure2011–2026
clojure / core.logic
core.logic
A logic programming library for Clojure & ClojureScript
38Distinct people
52Mentions
0Explicit recommenders
1.5KGitHub stars
What to know before exploring
What it is
A logic programming library for Clojure & ClojureScript
GitHub
Where it is used
No documented product use was verified in the last source check.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
- clojure/core.match · linked in 3 of the same discussions
Mentioned in the same Hacker News threads. That is not proof they are substitutes.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 6:01:08 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year52 dated mentions
Observed mentions: 2011-05-16 16:21:37 UTC to 2026-05-02 11:19:45 UTC.
* An incomplete calendar period is marked with an outlined bar. Its count is not directly comparable with a full period.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2011 | 2011-01-01 00:00:00 UTC | 2012-01-01 00:00:00 UTC | 10 | 0 | 10 |
| 2012 | 2012-01-01 00:00:00 UTC | 2013-01-01 00:00:00 UTC | 7 | 2 | 5 |
| 2013 | 2013-01-01 00:00:00 UTC | 2014-01-01 00:00:00 UTC | 6 | 2 | 4 |
| 2014 | 2014-01-01 00:00:00 UTC | 2015-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2015 | 2015-01-01 00:00:00 UTC | 2016-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2016 | 2016-01-01 00:00:00 UTC | 2017-01-01 00:00:00 UTC | 4 | 1 | 3 |
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 4 | 1 | 3 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 4 | 0 | 4 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 3 | 1 | 2 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2024 | 2024-01-01 00:00:00 UTC | 2025-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2025 | 2025-01-01 00:00:00 UTC | 2026-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2026 (partial) | 2026-01-01 00:00:00 UTC | 2027-01-01 00:00:00 UTC | 1 | 1 | 0 |
From the project README
An excerpt from the repository, fetched Nov 13, 2026.
Read the project’s introduction
core.logic
A logic programming library for Clojure & ClojureScript. core.logic
offers Prolog-like relational programming, constraint logic
programming, and nominal logic programming for Clojure. At its heart
is an original implementation of miniKanren as described in William
Byrd's dissertation
Relational Programming in miniKanren: Techniques, Applications, and Implementations
as well as the extensions described in
cKanren and
αKanren. It
is designed to be easily extended to forms of logic programming beyond
the ones provided.
Releases and dependency information
This project follows the version scheme MAJOR.MINOR.PATCH where each component provides some relative indication of the size of the change, but does not follow semantic versioning. In general, all changes endeavor to be non-breaking (by moving to new names rather than by breaking existing names).
Latest stable release: 1.1.1
All released versions
Development snapshot version
CLI/deps.edn dependency information:
org.clojure/core.logic {:mvn/version "1.1.1"}
Leiningen dependency information:
[org.clojure/core.logic "1.1.1"]
Maven dependency information:
<dependency>
<groupId>org.clojure</groupId>
<artifactId>core.logic</artifactId>
<version>1.1.1</version>
</dependency>
Example usage
(use 'clojure.core.logic)
(run* [q]
(== q true))
;;=> (true)
Running the tests
Assuming you have V8 installed from source:
lein cljsbuild once adv
d8 resources/tests.js
If you have another JS engine installed use that instead.
Reasoned Schemer
If you wish to work through
The Reasoned Schemer with
core.logic make sure to look over
this
first.
If you're interested in using core.logic from
ClojureScript look
here.
For more information & documentation please consult the
wiki.
Differences from core.unify
core.unify provides a la carte
unification facilities that are not deeply tied into the operation of
a logic engine. While core.logic does provide a similar simple unifier
interface with support for specifying fine-grained constraints, if you
have no need for a logic programming system, core.unify may be a
better fit.
YourKit
YourKit has given an open source license for their profiler, greatly
simplifying the profiling of core.logic performance.
YourKit supports open source projects with its full-featured Java
Profiler. YourKit, LLC is the creator of YourKit Java
Profiler and YourKit .NET
Profiler, innovative and intelligent tools for profiling Java and
.NET applications.
Developer information
Bug Tracker
Continuous Integration
Copyright and license
Copyright © David Nolen, Rich Hickey & contributors.
Licensed under the EPL (see the file epl.html).
Read the full README on GitHubWhat Hacker News says
3 sourcesIt's part of the std lib.
But yeah you're basically on the same page as me.
Java doesn't have the ability to be extended in the ways that clojure or python can.
Python also allows for functional programming to a certain degree, but clojure is a lot more powerful when it comes to language extensions.
Threads as a library (for js environments) for clojure.
https://github.com/clojure/core.async
Logic programming for clojure.
https://github.com/clojure/core.logic
Declarative UI building, with dataflow semantics.
http://reagent-project.github.io
Additionally immutability makes your life a lot easier. Parallel computing in clojure is a no brainer, you just change your map to pmap, and that's it.
In Metabase: Why we picked ClojureThat would be prolog. You'll have much better luck googling for prolog. I played with "turbo prolog" in the 80s and accomplished nothing (from the same place as turbo C or turbo pascal or turbo basic (am I forgetting any?)). A modern variant (of a logic oriented language) can be seen here:
https://github.com/clojure/core.logic/wiki/A-Core.logic-Prim...
It tends to suffer from management by scalable procedure disease. Its possible to successfully replace a human assembly line worker with a robot arm and a very small shell script, which inevitably leads overactive imaginations to think of replacing engineers or doctors with an immense set of unfortunately undefinable unscalable procedures and rulesets, so it always collapses with complexity at implementation time. Its like moths to a flame, you should be able to replace an engineer wit
Read the rest
h a very long list of if/then statements, but it turns out to be impossible in practice. Meanwhile the more advanced techniques butts up against the rapidly scaling "DBA" "IT" type of traditional solutions or non-traditional big-data techniques.
Its hard to find something to logic program that isn't less verbose in a non-logic language or unwritable in any language including logic programming. Its like the Perl regex thing where you got a problem, so you write a regex, and now you got two problems. Its a very narrow although interesting niche. Finding something that fits would be pretty cool, although probably very difficult to maintain.