Home

Overview

• Features
• Examples
• Development
• References

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