Skip to content
MiniKanren implementation in Ruby
Branch: master
Clone or download
Latest commit 23b752c Jan 28, 2016
Type Name Latest commit message Commit time
Failed to load latest commit information.
lib Add support for hash maps to be unified with logic variables properly. Dec 17, 2015
spec Merge change in tests. Jan 28, 2016
.gitignore gem skeleton Jan 14, 2013
Gemfile gem skeleton Jan 14, 2013
LICENSE.txt gem skeleton Jan 14, 2013 Add Circle CI badge Jan 28, 2016


An implemention of the MiniKanren relational programming DSL in Ruby

MiniKanren will make you think. It's a DSL for relational programming designed to integrate with its host language. In this case, it allows you to construct relational programming bits inside your Ruby bobs.


  • Original implementation by Scott Dial.
  • Considerable cleanup and move to GitHub by Sergey Pariev.
  • Michael R. Bernstein fixed the RSpec suite started by Pariev.


rake spec

Circle CI

You can’t perform that action at this time.