MiniKanren implementation in Ruby
Ruby
Pull request Compare This branch is 8 commits behind spariev:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
lib
spec
.gitignore
Gemfile
LICENSE.txt
README.md
Rakefile
mini_kanren.gemspec

README.md

mini_kanren.rb

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.

Credits

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

Tests

rake spec