mini_kraken 0.1.03 → 0.1.04

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ba23145a960593f3910547ace544235fcf3f9c9f5ee45b593e3aa465231e37fe
-  data.tar.gz: f2e1e6371cb9873192fece615acc2a6bd9021c5e7f8b1865b4a108ab414d5e8e
+  metadata.gz: 9ef423350ba09d43e77f4fbd981cfb9387f74c0581d19cda817b4db907501de3
+  data.tar.gz: de34208e9dba617b72435c552d4628be97808db2e0b2db27b12b8c31ab865d16
 SHA512:
-  metadata.gz: 0d8c08206038cb1b1d0fe339ace8f5ee4bcb9a91afb10447b8bc15624253774fcfd8fd1e1c4b07faa687fc2f5071bd4e46db0bcc2323044f2d36222db9906e80
-  data.tar.gz: 9f55752adc900a4cfa9aa82906aab0c513f3cf35918c7a50e170ce16201fad8dc471e2f364efaaa9f8db935f35b18bbb12e4af1ef4a74d297f03f54dfc92eda3
+  metadata.gz: dca643b61f43edb431aa3773f9da8e41381823cc0d8af2bb4401d8851cdc5c63994eb0c927e2daf8698b670236db42f4ca9a45d7abcaccd884f51ec9b72f2ac6
+  data.tar.gz: eebe8f8c53bc43c6d26704de26067644a225ad780b1d2aba601dd1a24641a58eaef1b502efba6d37dcf77ea36213145d1be8122f15b5ad48d154012f970bd618

data/CHANGELOG.md

@@ -1,6 +1,14 @@
+## [0.1.04] - 2020-05-02
+### Changed
+- File `README.md` Added "What is mini_kraken" text.
+- File `README.md` Added badges (CI Travis build status, Gem version, license)
+
 ## [0.1.03] - 2020-05-01
 Passes all frames 1:1 up to 1:47 of "Reasoned Schemer" book
 
+### Fixed
+- Fresh variables are now correctly 'reified' according to the convention in "Reasoned Schemer".
+
 ## [0.1.02] - 2020-04-28
 Major code refactoring. Passes all frames 1:1 up to 1:36 of "Reasoned Schemer" book
 
@@ -11,9 +19,6 @@ First code commit
 - File `CHANGELOG.md`. This file. Adopting `keepachangelog.com` recommended format.
 - File `min_kraken.gemspec` Updated gem description.
 
-### Changed
-- File `README.md` added badges (Appveyor build status, Gem version, license)
-
 ## [0.1.0] - 2020-02-05
 ### Added
 - Initial Github commit as new project

data/README.md

@@ -1,5 +1,24 @@
 # MiniKraken
-
+[![Build Status](https://travis-ci.org/famished-tiger/mini_kraken.svg?branch=master)](https://travis-ci.org/famished-tiger/mini_kraken)
+[![Gem Version](https://badge.fury.io/rb/mini_kraken.svg)](https://badge.fury.io/rb/mini_kraken)
+[![License](https://img.shields.io/badge/license-MIT-brightgreen.svg?style=flat)](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  
+
+### TODO
+[-] disj2  
+[-] conj2  
+[-] conde  
 
 ## Installation
 

data/lib/mini_kraken/version.rb

@@ -1,3 +1,3 @@
 module MiniKraken
-  VERSION = '0.1.03'.freeze
+  VERSION = '0.1.04'.freeze
 end

data/spec/glue/run_star_expression_spec.rb

@@ -108,7 +108,7 @@ module MiniKraken
           expect(result.car).to eq(any_value(0))
         end
 
-        it 'should keep variable fresh when no unification occurs (III)' do
+        it 'should keep variable fresh when no unification occurs (II)' do
           ref1_q = Core::VariableRef.new('q')
           ref2_q = Core::VariableRef.new('q')
           goal = equals_goal(ref1_q, ref2_q)
@@ -221,7 +221,7 @@ module MiniKraken
           expect(result.car).to eq(pea)
         end
 
-        it 'should unify complex equality expressions (II)' do
+        it 'should unify complex equality expressions (III)' do
           expr1 = cons(cons(cons(ref_q)), pod)
           expr2 = cons(cons(cons(ref_x)), pod)
           goal = equals_goal(expr1, expr2)
@@ -236,7 +236,7 @@ module MiniKraken
           expect(result.car).to eq(any_value(0))
         end
 
-        it 'should unify complex equality expressions (II)' do
+        it 'should unify complex equality expressions (IV)' do
           # Reasoned S2, frame 1:36
           # (run* q (fresh (x) (==  '(((,q)) (,x)) `(((,x)) pod)))) ;; => ('pod)
           expr1 = cons(cons(cons(ref_q)), ref_x)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mini_kraken
 version: !ruby/object:Gem::Version
-  version: 0.1.03
+  version: 0.1.04
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-05-01 00:00:00.000000000 Z
+date: 2020-05-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler