Micrologic – A tiny, literate implementation of miniKanren/core.logic
Micrologic – A tiny, literate implementation of miniKanren/core.logic launched on January 8, 2015 with 28 votes and more than 75% of that year's launches. The site was still online in September 2026, 11 years on.
In plain words
Micrologic is a minimal, documented Clojure implementation of miniKanren, a logic programming system that can be embedded in functional languages. It serves as an educational resource for understanding how miniKanren and core.logic work internally. The project targets developers familiar with Clojure and protocols, though basic Lisp syntax knowledge may suffice. It provides readable source code to help programmers grasp the mechanics of logic programming systems more deeply.
written from the facts on this page · September 2026
From the sources
This is a literate Clojure implementation of miniKanren, a logic programming system which can be embedded in functional programming languages. It's meant to be an introduction to the inner workings of miniKanren and of core.logic, helping you to understand more completely what's happening when you use those systems. For maximum enjoyment, the reader should be familiar with Clojure, and in particular with protocols. In lieu of that, basic understanding of lisp syntax and a read through something like http://clojure-doc.org/articles/language/polymorphism.html should be sufficient. This code was derived substantially from microKanren; for much more information, see the bibliography at the end.…from mullr.github.io
Does a similar job
all alternatives →
Small Clojure Interpreter2019 · github.com · ▲143Configurable Clojure/Script interpreter suitable for scripting and Clojure DSLs - babashka/sci
TinyCommandNov 2025 · tinycommand.com · ▲356Stop duct-taping tools. Run everything with one command.
Micro-mitten – Research language with compile-time memory management2020 · github.com · ▲236I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.
Microagents: Agents capable of self-editing their prompts / Python code2023 · github.com · ▲221Agents Capable of Self-Editing Their Prompts / Python Code - aymenfurter/microagents
A Clojure implementation of logic programming language in SICP2019 · github.com · ▲56A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 2d ago · permit.petercai.com
- IV
Life & fun · 14d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 15d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 9d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 13d ago · carrierexplode.com
Life & fun · 23d ago · space.bl2.net
Source: Show HN post ↗
Launched alongside, January 2015
the whole month →
A place to discover ideas that VCs & angels want to fund
Commerce · 2015 · docs.google.com
Send glitter to the people that deserve it
Life & fun · 2015 · shipyourenemiesglitter.com
