mini_kraken 0.1.05 → 0.1.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (39) hide show
  1. checksums.yaml +4 -4
  2. data/.travis.yml +5 -1
  3. data/CHANGELOG.md +56 -0
  4. data/README.md +5 -3
  5. data/lib/mini_kraken/core/composite_goal.rb +46 -0
  6. data/lib/mini_kraken/core/composite_term.rb +2 -0
  7. data/lib/mini_kraken/core/conj2.rb +79 -0
  8. data/lib/mini_kraken/core/cons_cell.rb +49 -43
  9. data/lib/mini_kraken/core/designation.rb +55 -0
  10. data/lib/mini_kraken/core/disj2.rb +71 -0
  11. data/lib/mini_kraken/core/duck_fiber.rb +1 -1
  12. data/lib/mini_kraken/core/environment.rb +1 -1
  13. data/lib/mini_kraken/core/equals.rb +134 -132
  14. data/lib/mini_kraken/core/fail.rb +18 -14
  15. data/lib/mini_kraken/core/goal.rb +4 -2
  16. data/lib/mini_kraken/core/goal_arg.rb +10 -0
  17. data/lib/mini_kraken/core/goal_relation.rb +28 -0
  18. data/lib/mini_kraken/core/outcome.rb +40 -24
  19. data/lib/mini_kraken/core/succeed.rb +17 -13
  20. data/lib/mini_kraken/core/term.rb +5 -2
  21. data/lib/mini_kraken/core/variable.rb +3 -27
  22. data/lib/mini_kraken/core/variable_ref.rb +3 -28
  23. data/lib/mini_kraken/core/vocabulary.rb +39 -19
  24. data/lib/mini_kraken/glue/fresh_env.rb +45 -3
  25. data/lib/mini_kraken/glue/run_star_expression.rb +44 -19
  26. data/lib/mini_kraken/version.rb +1 -1
  27. data/spec/core/conj2_spec.rb +114 -0
  28. data/spec/core/cons_cell_spec.rb +8 -0
  29. data/spec/core/disj2_spec.rb +99 -0
  30. data/spec/core/duck_fiber_spec.rb +12 -1
  31. data/spec/core/equals_spec.rb +3 -3
  32. data/spec/core/outcome_spec.rb +48 -0
  33. data/spec/core/vocabulary_spec.rb +11 -5
  34. data/spec/glue/fresh_env_spec.rb +27 -1
  35. data/spec/glue/run_star_expression_spec.rb +478 -53
  36. data/spec/mini_kraken_spec.rb +2 -0
  37. data/spec/spec_helper.rb +0 -1
  38. data/spec/support/factory_methods.rb +16 -0
  39. metadata +14 -2
data/spec/mini_kraken_spec.rb CHANGED
@@ -1,5 +1,7 @@
1
1
  # frozen_string_literal: true
2
2
 
3
+ require_relative '../lib/mini_kraken/version/'
4
+
3
5
  RSpec.describe MiniKraken do
4
6
  it 'has a version number' do
5
7
  expect(MiniKraken::VERSION).not_to be nil
data/spec/spec_helper.rb CHANGED
@@ -1,6 +1,5 @@
1
1
  # frozen_string_literal: true
2
2
 
3
- require 'bundler/setup'
4
3
  require 'rspec' # Use the RSpec framework
5
4
 
6
5
  RSpec.configure do |config|
data/spec/support/factory_methods.rb CHANGED
@@ -34,6 +34,22 @@ module MiniKraken
34
34
  Core::Goal.new(Core::Equals.instance, [arg1, arg2])
35
35
  end
36
36
 
37
+ # Factory method for constructing a goal using the conjunction relation.
38
+ # @param g1 [Core::Goal]
39
+ # @param g2 [Core::Goal]
40
+ # @return [Core::Goal]
41
+ def conj2_goal(g1, g2)
42
+ Core::Goal.new(Core::Conj2.instance, [g1, g2])
43
+ end
44
+
45
+ # Factory method for constructing a goal using the disjunction relation.
46
+ # @param g1 [Core::Goal]
47
+ # @param g2 [Core::Goal]
48
+ # @return [Core::Goal]
49
+ def disj2_goal(g1, g2)
50
+ Core::Goal.new(Core::Disj2.instance, [g1, g2])
51
+ end
52
+
37
53
  # Factory method for constructing a KSymbol instance
38
54
  # @param aSymbol [Symbol]
39
55
  # @return [Core::KSymbol]
metadata CHANGED
@@ -1,14 +1,14 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: mini_kraken
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.1.05
4
+ version: 0.1.10
5
5
  platform: ruby
6
6
  authors:
7
7
  - Dimitri Geshef
8
8
  autorequire:
9
9
  bindir: exe
10
10
  cert_chain: []
11
- date: 2020-05-09 00:00:00.000000000 Z
11
+ date: 2020-06-13 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: bundler
@@ -73,14 +73,20 @@ files:
73
73
  - lib/mini_kraken/core/association_walker.rb
74
74
  - lib/mini_kraken/core/atomic_term.rb
75
75
  - lib/mini_kraken/core/binary_relation.rb
76
+ - lib/mini_kraken/core/composite_goal.rb
76
77
  - lib/mini_kraken/core/composite_term.rb
78
+ - lib/mini_kraken/core/conj2.rb
77
79
  - lib/mini_kraken/core/cons_cell.rb
80
+ - lib/mini_kraken/core/designation.rb
81
+ - lib/mini_kraken/core/disj2.rb
78
82
  - lib/mini_kraken/core/duck_fiber.rb
79
83
  - lib/mini_kraken/core/environment.rb
80
84
  - lib/mini_kraken/core/equals.rb
81
85
  - lib/mini_kraken/core/fail.rb
82
86
  - lib/mini_kraken/core/freshness.rb
83
87
  - lib/mini_kraken/core/goal.rb
88
+ - lib/mini_kraken/core/goal_arg.rb
89
+ - lib/mini_kraken/core/goal_relation.rb
84
90
  - lib/mini_kraken/core/k_integer.rb
85
91
  - lib/mini_kraken/core/k_symbol.rb
86
92
  - lib/mini_kraken/core/nullary_relation.rb
@@ -97,13 +103,16 @@ files:
97
103
  - mini_kraken.gemspec
98
104
  - spec/core/association_spec.rb
99
105
  - spec/core/association_walker_spec.rb
106
+ - spec/core/conj2_spec.rb
100
107
  - spec/core/cons_cell_spec.rb
108
+ - spec/core/disj2_spec.rb
101
109
  - spec/core/duck_fiber_spec.rb
102
110
  - spec/core/environment_spec.rb
103
111
  - spec/core/equals_spec.rb
104
112
  - spec/core/fail_spec.rb
105
113
  - spec/core/goal_spec.rb
106
114
  - spec/core/k_symbol_spec.rb
115
+ - spec/core/outcome_spec.rb
107
116
  - spec/core/succeed_spec.rb
108
117
  - spec/core/variable_ref_spec.rb
109
118
  - spec/core/variable_spec.rb
@@ -140,13 +149,16 @@ summary: Implementation of Minikanren language in Ruby. WIP
140
149
  test_files:
141
150
  - spec/core/association_spec.rb
142
151
  - spec/core/association_walker_spec.rb
152
+ - spec/core/conj2_spec.rb
143
153
  - spec/core/cons_cell_spec.rb
154
+ - spec/core/disj2_spec.rb
144
155
  - spec/core/duck_fiber_spec.rb
145
156
  - spec/core/environment_spec.rb
146
157
  - spec/core/equals_spec.rb
147
158
  - spec/core/fail_spec.rb
148
159
  - spec/core/goal_spec.rb
149
160
  - spec/core/k_symbol_spec.rb
161
+ - spec/core/outcome_spec.rb
150
162
  - spec/core/succeed_spec.rb
151
163
  - spec/core/variable_ref_spec.rb
152
164
  - spec/core/variable_spec.rb