introduction to core.logic

Introduction to core.logic by Norman Richards

From https://github.com/clojure/core.logic

A logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation Relational Programming in miniKanren: Techniques, Applications, and Implementations (http://pqdtopen.proquest.com/#abstract?dispub=3380156) as well as the extensions described in cKanren (http://www.schemeworkshop.org/2011/papers/Alvis2011.pdf) and αKanren (http://www.cs.indiana.edu/~webyrd/alphamk/alphamk.pdf). It is designed to be easily extended to forms of logic programming beyond the ones provided.