This is my collection of literate documents about relational programming in miniKanren.
For a revamped version of the relations, see cool-relations.html.
I wrote these blog posts using Scribble and Literate.
| Title | Link |
|---|---|
| Implementing rational numbers in C | literate-articles/rational-numbers.html |
| The Associative Cartesian Product | literate-articles/associative-cartesian-product.html |
| Relation Drag Racing | scribble-htmls/relation-drag-racing.html |
| The Cartesian Product in miniKanren | scribble-htmls/the-cartesian-product-in-miniKanren.html |
| miniKanren and multivariate Horner schemes | scribble-htmls/miniKanren-and-multivariate-horner-schemes.html |
| The Bezae Codex and Programming | bezae/bezae.html |