Home

Jump to bottom Edit New page

swannodette edited this page Aug 3, 2012 · 17 revisions

Overview

More Resources

A Core.logic Primer - A "Start Here" document on the core concepts of miniKanren.
Differences From The Reasoned Schemer
Using core.logic with ClojureScript
Extending core.logic (Datomic example)
Projects using core.logic
Translations from Prolog