Summary

This website is a collection of resources and articles focused on exploring logic programming within the Clojure ecosystem, primarily through the `core.logic` library and its associated miniKanren implementations. Key areas covered include:

* core.logic: The central focus, with extensive documentation, source code, and examples demonstrating its use in various domains like constraint solving, theorem proving, graph algorithms (cliques, N-Queens), and data structure manipulation (trees, binary trees).
* miniKanren: A miniKanren implementation often used as a stepping stone to `core.logic`, with resources exploring its own capabilities.
* Related Projects: Includes explorations of other logic programming frameworks like cKanren, Logos, lx, and Ukanren, alongside projects like mini-Sudoku.
* Reading Lists: Multiple lists providing a pathway for learning logic programming with Clojure, including related languages and concepts.
* Community Contributions: Showcases work from various contributors including videos, source code, and blog posts around topics like performance, unification, and specific applications of logic programming in Clojure.

Title

miniKanren.org

Description

miniKanren.org

Keywords

programming, logic, scheme, code, byrd, workshop, using, proceedings, daniel, implementation, friedman, constraint, source, hangout, university, part, jason

NS Lookup

A 185.199.109.153, A 185.199.111.153, A 185.199.108.153, A 185.199.110.153

Dates

Created 2026-02-15

Updated 2026-02-15

Summarized 2026-03-02