Sha256: 27c1f44f7763cc5fd98f222f04b2f17e706b3e994a791cf986dcd7a675ee78e7
Contents?: true
Size: 1.96 KB
Versions: 4
Compression:
Stored size: 1.96 KB
Contents
# MiniKraken [](https://travis-ci.org/famished-tiger/mini_kraken) [](https://badge.fury.io/rb/mini_kraken) [](https://github.com/famished-tiger/mini_kraken/blob/master/LICENSE.txt) ### What is __mini_kraken__ ? An implemention of the [miniKanren](http://minikanren.org/) relational programming language in Ruby. *miniKanren* is a small language for relational (logic) programming. Based on the reference implementation, in Scheme from the "The Reasoned Schemer" book. Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, and Jason Hemann: "The Reasoned Schemer", Second Edition, ISBN: 9780262535519, (2018), MIT Press. ### Features - [X] == - [X] run\* - [X] fresh - [X] conj2 - [X] disj2 ### TODO - [ ] defrel - [ ] conde - [ ] Occurs check ## Installation Add this line to your application's Gemfile: ```ruby gem 'mini_kraken' ``` And then execute: $ bundle Or install it yourself as: $ gem install mini_kraken ## Usage TODO: Write usage instructions here ## Development After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment. To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org). ## Contributing Bug reports and pull requests are welcome on GitHub at https://github.com/famished-tiger/mini_kraken. ## License The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).
Version data entries
4 entries across 4 versions & 1 rubygems
Version | Path |
---|---|
mini_kraken-0.1.10 | README.md |
mini_kraken-0.1.09 | README.md |
mini_kraken-0.1.08 | README.md |
mini_kraken-0.1.07 | README.md |