Home

Overview

• Features - quick overview of what core.logic provides
• Examples - short examples of what core.logic looks like
• Development - What's going on, and 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)
• 项目 using core.logic
• Translations from Prolog