Get the latest tech news
What Is miniKanren?
orkshop | Book | Online Course | Implementations | Projects | Upcoming Talks | Talks | Interviews | Tutorials | Theses | Papers | Screencasts | Weekly Hangouts | Podcasts | Blogs | Contact What is miniKanren? miniKanren is a family of Domain Specific Languages for logic programming. The name kanren comes from a Japanese word (関連) meaning "relation".
Workshop| Book| Online Course| Implementations| Projects| Upcoming Talks| Talks| Interviews| Tutorials| Theses| Papers| Screencasts| Weekly Hangouts| Podcasts| Blogs| Contact miniKanren is a family of Domain Specific Languages for logic programming.The name kanren comes from a Japanese word (関連) meaning "relation". GitHub repo MuKanren.jl KotlinKanren mkr lua-ukanren mímirKanren micro-in-mini LatticeKanren kanren.mox minikanren-nu OCanren Statically typed embedding of miniKanren into Objective Caml. Nada Amin and William E. ByrdFrom Greek to Clojure Clojure/conj, Alexandria, VA, November 14, 2013 source code| slides Adam SoloveConstraint programming in the browser(Talk focuses on the Cassowary constraint solver for GUI layout, but also discusses core.logic.)
Or read this on Hacker News