Home

Overview

• Features- quick overview of what core.logic provides
• Examples - short examples of what core.logic looks lke
• Development - how to contribute
• References - inspiration, alternative implementations, and cool stuff

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