miniKanren
----------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Relational Programming](../Relational%20Programming/README.md#relational-programming)_

- - - -


### Web resources

[clojure - conda, condi, conde, condu - Stack Overflow](https://stackoverflow.com/questions/10843563/conda-condi-conde-condu) ★

[clojure - Understanding Mini-Kanren\'s Execution Model - Stack Overflow](https://stackoverflow.com/questions/10118292/understanding-mini-kanrens-execution-model) ★


### Repositories

[ashton314/muKanren_reading: [Mirror] A close reading of the μKanren paper.](https://github.com/ashton314/muKanren_reading) ★

[iambrj/metaKanren: Relational interpreter for miniKanren, in miniKanren.](https://github.com/iambrj/metaKanren) ★


### Papers

[Relational Processing for Fun and Diversity](http://minikanren.org/workshop/2019/minikanren19-final6.pdf) ★


### Books

The Reasoned Schemer (borrow with print disabilities @ [archive.org](https://archive.org/details/reasonedschemer0000frie)) ★ [💭](commentary/Chris%20Pressey.md#the-reasoned-schemer)