porolog 1.0.2 → 1.0.3

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 (32) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +22 -13
  3. data/coverage/index.html +4564 -4552
  4. data/doc/Array.html +9 -9
  5. data/doc/Object.html +1 -1
  6. data/doc/Porolog.html +77 -67
  7. data/doc/Symbol.html +1 -1
  8. data/doc/_index.html +1 -1
  9. data/doc/file.README.html +22 -14
  10. data/doc/index.html +22 -14
  11. data/doc/top-level-namespace.html +1 -1
  12. data/lib/porolog.rb +4 -2
  13. data/lib/porolog/core_ext.rb +8 -8
  14. data/lib/porolog/goal.rb +2 -2
  15. data/lib/porolog/predicate/builtin.rb +34 -34
  16. data/lib/porolog/rule.rb +1 -1
  17. data/lib/porolog/variable.rb +7 -7
  18. data/test/porolog/arguments_test.rb +73 -73
  19. data/test/porolog/core_ext_test.rb +39 -39
  20. data/test/porolog/goal_test.rb +72 -72
  21. data/test/porolog/instantiation_test.rb +153 -153
  22. data/test/porolog/porolog_test.rb +272 -270
  23. data/test/porolog/predicate/builtin_test.rb +166 -166
  24. data/test/porolog/predicate_test.rb +85 -85
  25. data/test/porolog/rule_test.rb +69 -69
  26. data/test/porolog/scope_test.rb +89 -89
  27. data/test/porolog/tail_test.rb +23 -23
  28. data/test/porolog/value_test.rb +32 -34
  29. data/test/porolog/variable_test.rb +120 -120
  30. data/test/samples_test.rb +11 -11
  31. data/test/test_helper.rb +56 -61
  32. metadata +2 -2
data/test/porolog/predicate_test.rb CHANGED
@@ -16,53 +16,53 @@ describe 'Porolog' do
16
16
  describe 'Predicate' do
17
17
 
18
18
  it 'should default to creating predicates in the default scope' do
19
- assert_equal :default, Predicate.scope.name
19
+ assert_equal :default, Porolog::Predicate.scope.name
20
20
 
21
- test = Predicate.new 'test'
21
+ test = Porolog::Predicate.new 'test'
22
22
 
23
- assert_includes Scope[:default].predicates, test
23
+ assert_includes Porolog::Scope[:default].predicates, test
24
24
  end
25
25
 
26
26
  describe '.scope' do
27
27
 
28
28
  it 'should return the current scope for new predicates' do
29
- assert_equal Scope[:default], Predicate.scope
29
+ assert_equal Porolog::Scope[:default], Porolog::Predicate.scope
30
30
 
31
- alpha = Predicate.new 'alpha', :new_scope
31
+ alpha = Porolog::Predicate.new 'alpha', :new_scope
32
32
 
33
- assert_equal Scope[:default], Predicate.scope
33
+ assert_equal Porolog::Scope[:default], Porolog::Predicate.scope
34
34
 
35
- Predicate.scope :new_scope
35
+ Porolog::Predicate.scope :new_scope
36
36
 
37
- assert_equal Scope[:new_scope], Predicate.scope
37
+ assert_equal Porolog::Scope[:new_scope], Porolog::Predicate.scope
38
38
 
39
- bravo = Predicate.new 'bravo'
39
+ bravo = Porolog::Predicate.new 'bravo'
40
40
 
41
- assert_equal [], Scope[:default ].predicates
42
- assert_equal [alpha,bravo], Scope[:new_scope].predicates
41
+ assert_equal [], Porolog::Scope[:default ].predicates
42
+ assert_equal [alpha,bravo], Porolog::Scope[:new_scope].predicates
43
43
  end
44
44
 
45
45
  it 'should allow predicate scope to be created and set' do
46
- Predicate.scope :internal
47
- assert_equal :internal, Predicate.scope.name
46
+ Porolog::Predicate.scope :internal
47
+ assert_equal :internal, Porolog::Predicate.scope.name
48
48
 
49
- Predicate.new 'alpha'
49
+ Porolog::Predicate.new 'alpha'
50
50
 
51
- Predicate.scope :external
52
- assert_equal :external, Predicate.scope.name
51
+ Porolog::Predicate.scope :external
52
+ assert_equal :external, Porolog::Predicate.scope.name
53
53
 
54
- Predicate.new 'bravo'
54
+ Porolog::Predicate.new 'bravo'
55
55
 
56
- Predicate.scope :internal
57
- assert_equal :internal, Predicate.scope.name
56
+ Porolog::Predicate.scope :internal
57
+ assert_equal :internal, Porolog::Predicate.scope.name
58
58
 
59
- Predicate.new 'carly'
60
- Predicate.new 'delta', :external
59
+ Porolog::Predicate.new 'carly'
60
+ Porolog::Predicate.new 'delta', :external
61
61
 
62
- assert_equal :internal, Predicate.scope.name
62
+ assert_equal :internal, Porolog::Predicate.scope.name
63
63
 
64
- assert_equal [:alpha,:carly], Scope[:internal].predicates.map(&:name)
65
- assert_equal [:bravo,:delta], Scope[:external].predicates.map(&:name)
64
+ assert_equal [:alpha,:carly], Porolog::Scope[:internal].predicates.map(&:name)
65
+ assert_equal [:bravo,:delta], Porolog::Scope[:external].predicates.map(&:name)
66
66
  end
67
67
 
68
68
  end
@@ -70,26 +70,26 @@ describe 'Porolog' do
70
70
  describe '.scope=' do
71
71
 
72
72
  it 'should also allow predicate scope to be assigned' do
73
- Predicate.scope = :internal
74
- assert_equal :internal, Predicate.scope.name
73
+ Porolog::Predicate.scope = :internal
74
+ assert_equal :internal, Porolog::Predicate.scope.name
75
75
 
76
- alpha = Predicate.new 'alpha'
76
+ alpha = Porolog::Predicate.new 'alpha'
77
77
 
78
- Predicate.scope = :external
79
- assert_equal :external, Predicate.scope.name
78
+ Porolog::Predicate.scope = :external
79
+ assert_equal :external, Porolog::Predicate.scope.name
80
80
 
81
- bravo = Predicate.new 'bravo'
81
+ bravo = Porolog::Predicate.new 'bravo'
82
82
 
83
- Predicate.scope = :internal
84
- assert_equal :internal, Predicate.scope.name
83
+ Porolog::Predicate.scope = :internal
84
+ assert_equal :internal, Porolog::Predicate.scope.name
85
85
 
86
- carly = Predicate.new 'carly'
87
- delta = Predicate.new 'delta', :external
86
+ carly = Porolog::Predicate.new 'carly'
87
+ delta = Porolog::Predicate.new 'delta', :external
88
88
 
89
- assert_equal :internal, Predicate.scope.name
89
+ assert_equal :internal, Porolog::Predicate.scope.name
90
90
 
91
- assert_equal [alpha,carly], Scope[:internal].predicates
92
- assert_equal [bravo,delta], Scope[:external].predicates
91
+ assert_equal [alpha,carly], Porolog::Scope[:internal].predicates
92
+ assert_equal [bravo,delta], Porolog::Scope[:external].predicates
93
93
  end
94
94
 
95
95
  end
@@ -97,25 +97,25 @@ describe 'Porolog' do
97
97
  describe '.reset' do
98
98
 
99
99
  it 'should revert to the default scope when reset' do
100
- Predicate.scope = :other
101
- assert_equal :other, Predicate.scope.name
100
+ Porolog::Predicate.scope = :other
101
+ assert_equal :other, Porolog::Predicate.scope.name
102
102
 
103
- Predicate.reset
104
- assert_equal :default, Predicate.scope.name
103
+ Porolog::Predicate.reset
104
+ assert_equal :default, Porolog::Predicate.scope.name
105
105
 
106
- Predicate.scope :temporary
106
+ Porolog::Predicate.scope :temporary
107
107
 
108
- alpha = Predicate.new :alpha
108
+ alpha = Porolog::Predicate.new :alpha
109
109
 
110
- assert_equal :temporary, Predicate.scope.name
111
- assert_equal [alpha], Predicate.scope.predicates
110
+ assert_equal :temporary, Porolog::Predicate.scope.name
111
+ assert_equal [alpha], Porolog::Predicate.scope.predicates
112
112
 
113
- Predicate.reset
113
+ Porolog::Predicate.reset
114
114
 
115
- bravo = Predicate.new :bravo
115
+ bravo = Porolog::Predicate.new :bravo
116
116
 
117
- assert_equal :default, Predicate.scope.name
118
- assert_equal [bravo], Predicate.scope.predicates
117
+ assert_equal :default, Porolog::Predicate.scope.name
118
+ assert_equal [bravo], Porolog::Predicate.scope.predicates
119
119
  end
120
120
 
121
121
  end
@@ -123,9 +123,9 @@ describe 'Porolog' do
123
123
  describe '.[]' do
124
124
 
125
125
  it 'should return a predicate by name' do
126
- alpha = Predicate.new :alpha
126
+ alpha = Porolog::Predicate.new :alpha
127
127
 
128
- assert_equal alpha, Predicate[:alpha]
128
+ assert_equal alpha, Porolog::Predicate[:alpha]
129
129
  end
130
130
 
131
131
  end
@@ -133,19 +133,19 @@ describe 'Porolog' do
133
133
  describe '.new' do
134
134
 
135
135
  it 'should create a new predicate' do
136
- alpha = Predicate.new :alpha
136
+ alpha = Porolog::Predicate.new :alpha
137
137
 
138
- assert_instance_of Predicate, alpha
138
+ assert_instance_of Porolog::Predicate, alpha
139
139
  end
140
140
 
141
141
  it 'should not create a predicate if a predicate with the same name already exists in the scope but instead return the existing one' do
142
- predicate1 = Predicate.new 'predicate1', :left
143
- predicate2 = Predicate.new 'predicate1', :right
142
+ predicate1 = Porolog::Predicate.new 'predicate1', :left
143
+ predicate2 = Porolog::Predicate.new 'predicate1', :right
144
144
 
145
145
  refute_equal predicate1, predicate2
146
146
 
147
- Predicate.scope :left
148
- predicate3 = Predicate.new :predicate1
147
+ Porolog::Predicate.scope :left
148
+ predicate3 = Porolog::Predicate.new :predicate1
149
149
 
150
150
  assert_equal predicate1, predicate3
151
151
  end
@@ -155,39 +155,39 @@ describe 'Porolog' do
155
155
  describe '#initialize' do
156
156
 
157
157
  it 'can create predicates in different scopes' do
158
- left = Scope.new :left
158
+ left = Porolog::Scope.new :left
159
159
  #right = Scope.new :right # Not explicitly creating scope :right
160
160
 
161
- assert_equal left, Predicate.scope(:left)
162
- assert_equal :left, Predicate.scope.name
161
+ assert_equal left, Porolog::Predicate.scope(:left)
162
+ assert_equal :left, Porolog::Predicate.scope.name
163
163
 
164
- left_test = Predicate.new 'left_test'
164
+ left_test = Porolog::Predicate.new 'left_test'
165
165
 
166
- assert_equal :left, Predicate.scope.name
166
+ assert_equal :left, Porolog::Predicate.scope.name
167
167
  refute_empty left.predicates
168
168
  assert_includes left.predicates, left_test
169
169
 
170
- right_test = Predicate.new 'right_test', :right
170
+ right_test = Porolog::Predicate.new 'right_test', :right
171
171
 
172
- assert_includes Scope[:right].predicates, right_test
173
- assert_equal :left, Predicate.scope.name
172
+ assert_includes Porolog::Scope[:right].predicates, right_test
173
+ assert_equal :left, Porolog::Predicate.scope.name
174
174
 
175
- assert_equal [left_test], Scope[:left ].predicates
176
- assert_equal [right_test], Scope[:right].predicates
175
+ assert_equal [left_test], Porolog::Scope[:left ].predicates
176
+ assert_equal [right_test], Porolog::Scope[:right].predicates
177
177
  end
178
178
 
179
179
  it 'should not create a Predicate named "predicate"' do
180
180
  assert_raises Porolog::Predicate::NameError do
181
- predicate :predicate
181
+ Porolog::predicate :predicate
182
182
  end
183
183
  assert_raises Porolog::Predicate::NameError do
184
- predicate 'predicate'
184
+ Porolog::predicate 'predicate'
185
185
  end
186
186
  assert_raises Porolog::Predicate::NameError do
187
- Predicate.new :predicate
187
+ Porolog::Predicate.new :predicate
188
188
  end
189
189
  assert_raises Porolog::Predicate::NameError do
190
- Predicate.new 'predicate'
190
+ Porolog::Predicate.new 'predicate'
191
191
  end
192
192
  end
193
193
 
@@ -196,11 +196,11 @@ describe 'Porolog' do
196
196
  describe '#call' do
197
197
 
198
198
  it 'should create an Arguments when "called"' do
199
- p = Predicate.new :p
199
+ p = Porolog::Predicate.new :p
200
200
 
201
201
  arguments = p.(1,2,3)
202
202
 
203
- assert_instance_of Arguments, arguments
203
+ assert_instance_of Porolog::Arguments, arguments
204
204
  assert_equal [1,2,3], arguments.arguments
205
205
  assert_equal 'p(1,2,3)', arguments.inspect
206
206
  end
@@ -210,11 +210,11 @@ describe 'Porolog' do
210
210
  describe '#arguments' do
211
211
 
212
212
  it 'should provide a convenience method to create an Arguments' do
213
- p = Predicate.new :p
213
+ p = Porolog::Predicate.new :p
214
214
 
215
215
  arguments = p.arguments(1,2,3)
216
216
 
217
- assert_instance_of Arguments, arguments
217
+ assert_instance_of Porolog::Arguments, arguments
218
218
  assert_equal [1,2,3], arguments.arguments
219
219
  assert_equal 'p(1,2,3)', arguments.inspect
220
220
  end
@@ -224,7 +224,7 @@ describe 'Porolog' do
224
224
  describe '#name' do
225
225
 
226
226
  it 'should create predicates with a name attribute, which is converted to a Symbol' do
227
- test_predicate = Predicate.new('test_predicate_name')
227
+ test_predicate = Porolog::Predicate.new('test_predicate_name')
228
228
 
229
229
  assert_respond_to test_predicate, :name
230
230
  assert_equal :test_predicate_name, test_predicate.name
@@ -235,14 +235,14 @@ describe 'Porolog' do
235
235
  describe '#rules' do
236
236
 
237
237
  it 'should create predicates with an empty set of rules' do
238
- test_predicate = Predicate.new('test_predicate_name')
238
+ test_predicate = Porolog::Predicate.new('test_predicate_name')
239
239
 
240
240
  assert_respond_to test_predicate, :rules
241
241
  assert_equal [], test_predicate.rules
242
242
  end
243
243
 
244
244
  it 'should add new facts to a predicate' do
245
- alpha = Predicate.new 'alpha'
245
+ alpha = Porolog::Predicate.new 'alpha'
246
246
 
247
247
  alpha.('p','q').fact!
248
248
 
@@ -255,7 +255,7 @@ describe 'Porolog' do
255
255
  end
256
256
 
257
257
  it 'should add new fallacies to a predicate' do
258
- alpha = Predicate.new 'alpha'
258
+ alpha = Porolog::Predicate.new 'alpha'
259
259
 
260
260
  alpha.('p','q').fallacy!
261
261
 
@@ -272,13 +272,13 @@ describe 'Porolog' do
272
272
  describe '#inspect' do
273
273
 
274
274
  it 'should return a summary of the predicate' do
275
- alpha = Predicate.new 'alpha'
275
+ alpha = Porolog::Predicate.new 'alpha'
276
276
 
277
277
  assert_equal 'alpha:-', alpha.inspect
278
278
  end
279
279
 
280
280
  it 'should return a summary of the predicate with rules' do
281
- alpha = Predicate.new 'alpha'
281
+ alpha = Porolog::Predicate.new 'alpha'
282
282
 
283
283
  alpha.(:x,:y) << [
284
284
  alpha.(:x,:y),
@@ -294,7 +294,7 @@ describe 'Porolog' do
294
294
  describe '#<<' do
295
295
 
296
296
  it 'should add new rules to a predicate' do
297
- alpha = Predicate.new 'alpha'
297
+ alpha = Porolog::Predicate.new 'alpha'
298
298
 
299
299
  alpha.(:P,:Q) << [
300
300
  alpha.(:P,:Q),
@@ -327,13 +327,13 @@ describe 'Porolog' do
327
327
  describe '#builtin?' do
328
328
 
329
329
  it 'should return false for normal predicates' do
330
- p = predicate :normal
330
+ p = Porolog::predicate :normal
331
331
 
332
332
  assert_equal false, p.builtin?
333
333
  end
334
334
 
335
335
  it 'should return true for builtin predicates' do
336
- p = builtin :append
336
+ p = Porolog::builtin :append
337
337
 
338
338
  assert_equal true, p.builtin?
339
339
  end
@@ -353,7 +353,7 @@ describe 'Porolog' do
353
353
  end
354
354
  end
355
355
 
356
- let(:predicate1) { Predicate.new :user_defined, builtin: true }
356
+ let(:predicate1) { Porolog::Predicate.new :user_defined, builtin: true }
357
357
  let(:arguments1) { predicate1.arguments(:m,:n) }
358
358
  let(:goal) { arguments1.goal }
359
359
 
data/test/porolog/rule_test.rb CHANGED
@@ -19,21 +19,21 @@ describe 'Porolog' do
19
19
  describe '.reset' do
20
20
 
21
21
  it 'should delete/unregister all rules' do
22
- pred = Predicate.new :pred
23
- args = Arguments.new pred, [1,2,3]
22
+ pred = Porolog::Predicate.new :pred
23
+ args = Porolog::Arguments.new pred, [1,2,3]
24
24
 
25
- rule1 = Rule.new args, [1,2]
26
- rule2 = Rule.new args, [3,4,5]
27
- rule3 = Rule.new args, [6]
25
+ rule1 = Porolog::Rule.new args, [1,2]
26
+ rule2 = Porolog::Rule.new args, [3,4,5]
27
+ rule3 = Porolog::Rule.new args, [6]
28
28
 
29
29
  assert_equal 'Rule1', rule1.myid
30
30
  assert_equal 'Rule2', rule2.myid
31
31
  assert_equal 'Rule3', rule3.myid
32
32
 
33
- Rule.reset
33
+ Porolog::Rule.reset
34
34
 
35
- rule4 = Rule.new args, [7,8,9,0]
36
- rule5 = Rule.new args, [:CUT,false]
35
+ rule4 = Porolog::Rule.new args, [7,8,9,0]
36
+ rule5 = Porolog::Rule.new args, [:CUT,false]
37
37
 
38
38
  assert_equal 'Rule-999', rule1.myid
39
39
  assert_equal 'Rule-999', rule2.myid
@@ -47,10 +47,10 @@ describe 'Porolog' do
47
47
  describe '.new' do
48
48
 
49
49
  it 'should create a new rule' do
50
- pred = Predicate.new :pred
51
- args = Arguments.new pred, [1,2,3]
50
+ pred = Porolog::Predicate.new :pred
51
+ args = Porolog::Arguments.new pred, [1,2,3]
52
52
  defn = [true]
53
- rule = Rule.new args, defn
53
+ rule = Porolog::Rule.new args, defn
54
54
 
55
55
  assert_Rule rule, :pred, [1,2,3], [true]
56
56
  end
@@ -60,10 +60,10 @@ describe 'Porolog' do
60
60
  describe '#initialize' do
61
61
 
62
62
  it 'should initialize arguments and definition' do
63
- pred = Predicate.new :pred
64
- args = Arguments.new pred, [1,2,3]
63
+ pred = Porolog::Predicate.new :pred
64
+ args = Porolog::Arguments.new pred, [1,2,3]
65
65
  defn = [:CUT,false]
66
- rule = Rule.new args, defn
66
+ rule = Porolog::Rule.new args, defn
67
67
 
68
68
  assert_Rule rule, :pred, [1,2,3], [:CUT,false]
69
69
  assert_equal args, rule.arguments
@@ -75,21 +75,21 @@ describe 'Porolog' do
75
75
  describe '#myid' do
76
76
 
77
77
  it 'should show the rule index' do
78
- pred = Predicate.new :pred
79
- args = Arguments.new pred, [1,2,3]
78
+ pred = Porolog::Predicate.new :pred
79
+ args = Porolog::Arguments.new pred, [1,2,3]
80
80
  defn = [:CUT,false]
81
- rule = Rule.new args, defn
81
+ rule = Porolog::Rule.new args, defn
82
82
 
83
83
  assert_equal 'Rule1', rule.myid
84
84
  end
85
85
 
86
86
  it 'should show -999 when deleted/unregistered' do
87
- pred = Predicate.new :pred
88
- args = Arguments.new pred, [1,2,3]
87
+ pred = Porolog::Predicate.new :pred
88
+ args = Porolog::Arguments.new pred, [1,2,3]
89
89
  defn = [:CUT,false]
90
- rule = Rule.new args, defn
90
+ rule = Porolog::Rule.new args, defn
91
91
 
92
- Rule.reset
92
+ Porolog::Rule.reset
93
93
 
94
94
  assert_equal 'Rule-999', rule.myid
95
95
  end
@@ -99,10 +99,10 @@ describe 'Porolog' do
99
99
  describe '#inspect' do
100
100
 
101
101
  it 'should show the predicate, arguments, and definition' do
102
- pred = Predicate.new :pred
103
- args = Arguments.new pred, [1,2,3]
102
+ pred = Porolog::Predicate.new :pred
103
+ args = Porolog::Arguments.new pred, [1,2,3]
104
104
  defn = [:CUT,false]
105
- rule = Rule.new args, defn
105
+ rule = Porolog::Rule.new args, defn
106
106
 
107
107
  assert_equal ' pred(1,2,3):- [:CUT, false]', rule.inspect
108
108
  end
@@ -112,10 +112,10 @@ describe 'Porolog' do
112
112
  describe '#satisfy' do
113
113
 
114
114
  it 'should create a subgoal and unify with the goal' do
115
- pred = Predicate.new :pred
116
- args = Arguments.new pred, [:a,:b,:c]
115
+ pred = Porolog::Predicate.new :pred
116
+ args = Porolog::Arguments.new pred, [:a,:b,:c]
117
117
  defn = [true]
118
- rule = Rule.new args, defn
118
+ rule = Porolog::Rule.new args, defn
119
119
 
120
120
  goal = new_goal :pred, :x, :y, :z
121
121
 
@@ -140,16 +140,16 @@ describe 'Porolog' do
140
140
  end
141
141
 
142
142
  it 'should delete the subgoal even if it does not unify with the goal' do
143
- pred = Predicate.new :alpha
144
- args = Arguments.new pred, [1,2,3,4]
143
+ pred = Porolog::Predicate.new :alpha
144
+ args = Porolog::Arguments.new pred, [1,2,3,4]
145
145
  defn = [true]
146
- rule = Rule.new args, defn
146
+ rule = Porolog::Rule.new args, defn
147
147
 
148
148
  goal = new_goal :beta, :x, :y
149
149
 
150
150
  subgoal = new_goal :gamma, :x, :y
151
151
  subgoal.expects(:delete!).with().times(1)
152
- subgoal_spy = Spy.on(Goal, :new).and_return(subgoal)
152
+ subgoal_spy = Spy.on(Porolog::Goal, :new).and_return(subgoal)
153
153
  called = false
154
154
 
155
155
  rule.satisfy(goal) do |solution_goal|
@@ -166,9 +166,9 @@ describe 'Porolog' do
166
166
  describe '#satisfy_definition' do
167
167
 
168
168
  it 'should call block with subgoal and return true when the definition is true' do
169
- pred = Predicate.new :normal
170
- args = Arguments.new pred, [12]
171
- rule = Rule.new args, true
169
+ pred = Porolog::Predicate.new :normal
170
+ args = Porolog::Arguments.new pred, [12]
171
+ rule = Porolog::Rule.new args, true
172
172
 
173
173
  check = 56
174
174
  result = rule.satisfy_definition(12, 34) do |subgoal|
@@ -180,9 +180,9 @@ describe 'Porolog' do
180
180
  end
181
181
 
182
182
  it 'should not call block but return false when the definition is false' do
183
- pred = Predicate.new :negative
184
- args = Arguments.new pred, [12]
185
- rule = Rule.new args, false
183
+ pred = Porolog::Predicate.new :negative
184
+ args = Porolog::Arguments.new pred, [12]
185
+ rule = Porolog::Rule.new args, false
186
186
 
187
187
  check = 56
188
188
  result = rule.satisfy_definition(12, 34) do |subgoal|
@@ -195,13 +195,13 @@ describe 'Porolog' do
195
195
  end
196
196
 
197
197
  it 'should call block with subgoal when the definition is an Array' do
198
- pred1 = Predicate.new :success
199
- args1 = Arguments.new pred1, [:any]
200
- Rule.new args1, true
198
+ pred1 = Porolog::Predicate.new :success
199
+ args1 = Porolog::Arguments.new pred1, [:any]
200
+ Porolog::Rule.new args1, true
201
201
 
202
- pred2 = Predicate.new :conjunction
203
- args2 = Arguments.new pred2, [12]
204
- rule2 = Rule.new args2, [true,true,true]
202
+ pred2 = Porolog::Predicate.new :conjunction
203
+ args2 = Porolog::Arguments.new pred2, [12]
204
+ rule2 = Porolog::Rule.new args2, [true,true,true]
205
205
 
206
206
  check = 56
207
207
  result = rule2.satisfy_definition(args1.goal, args2.goal) do |subgoal|
@@ -212,11 +212,11 @@ describe 'Porolog' do
212
212
  end
213
213
 
214
214
  it 'should raise an exception when the definition is unknown' do
215
- predicate :strange
215
+ Porolog::predicate :strange
216
216
 
217
217
  strange(12) << 3.4
218
218
 
219
- exception = assert_raises Rule::DefinitionError do
219
+ exception = assert_raises Porolog::Rule::DefinitionError do
220
220
  strange(:X).solve
221
221
  end
222
222
  assert_equal 'UNEXPECTED TYPE OF DEFINITION: 3.4 (Float)', exception.message
@@ -226,15 +226,15 @@ describe 'Porolog' do
226
226
 
227
227
  describe '#satisfy_conjunction' do
228
228
 
229
- let(:pred1 ) { Predicate.new :parent }
230
- let(:pred2 ) { Predicate.new :child }
231
- let(:args1 ) { Arguments.new pred1, [1,2,3,4] }
232
- let(:args2 ) { Arguments.new pred2, [:x,:y] }
233
- let(:goal ) { Goal.new args1, nil }
234
- let(:subgoal) { Goal.new args2, goal }
229
+ let(:pred1 ) { Porolog::Predicate.new :parent }
230
+ let(:pred2 ) { Porolog::Predicate.new :child }
231
+ let(:args1 ) { Porolog::Arguments.new pred1, [1,2,3,4] }
232
+ let(:args2 ) { Porolog::Arguments.new pred2, [:x,:y] }
233
+ let(:goal ) { Porolog::Goal.new args1, nil }
234
+ let(:subgoal) { Porolog::Goal.new args2, goal }
235
235
 
236
236
  it 'should handle CUT expression' do
237
- rule = Rule.new args1, [:CUT,true]
237
+ rule = Porolog::Rule.new args1, [:CUT,true]
238
238
 
239
239
  goal.expects(:terminate!).with().times(1)
240
240
  rule_spy = Spy.on(rule, :satisfy_conjunction).and_call_through
@@ -252,7 +252,7 @@ describe 'Porolog' do
252
252
  end
253
253
 
254
254
  it 'should handle CUT expression at the end of a conjunction' do
255
- rule = Rule.new args1, [:CUT]
255
+ rule = Porolog::Rule.new args1, [:CUT]
256
256
 
257
257
  goal.expects(:terminate!).with().times(1)
258
258
  rule_spy = Spy.on(rule, :satisfy_conjunction).and_call_through
@@ -269,7 +269,7 @@ describe 'Porolog' do
269
269
  end
270
270
 
271
271
  it 'should handle true expression' do
272
- rule = Rule.new args1, [true]
272
+ rule = Porolog::Rule.new args1, [true]
273
273
 
274
274
  goal.expects(:terminate!).with().times(0)
275
275
  rule_spy = Spy.on(rule, :satisfy_conjunction).and_call_through
@@ -286,7 +286,7 @@ describe 'Porolog' do
286
286
  end
287
287
 
288
288
  it 'should handle false expression' do
289
- rule = Rule.new args1, [false]
289
+ rule = Porolog::Rule.new args1, [false]
290
290
 
291
291
  goal.expects(:terminate!).with().times(0)
292
292
  rule_spy = Spy.on(rule, :satisfy_conjunction).and_call_through
@@ -305,7 +305,7 @@ describe 'Porolog' do
305
305
  end
306
306
 
307
307
  it 'should handle nil expression' do
308
- rule = Rule.new args1, []
308
+ rule = Porolog::Rule.new args1, []
309
309
 
310
310
  goal.expects(:terminate!).with().times(0)
311
311
  rule_spy = Spy.on(rule, :satisfy_conjunction).and_call_through
@@ -325,7 +325,7 @@ describe 'Porolog' do
325
325
 
326
326
  it 'should evaluate conjunctions until a fail' do
327
327
  conjunction = [true, true, true, false, true, :CUT, true]
328
- rule = Rule.new args1, conjunction
328
+ rule = Porolog::Rule.new args1, conjunction
329
329
 
330
330
  goal.expects(:terminate!).with().times(0)
331
331
  rule_spy = Spy.on(rule, :satisfy_conjunction).and_call_through
@@ -347,18 +347,18 @@ describe 'Porolog' do
347
347
  end
348
348
 
349
349
  it 'should unify and instantiate variables with a subgoal and satisfy the subgoal and uninstantiate the instantiations' do
350
- goal = Goal.new args1, nil
351
- subgoal = Goal.new args2, goal
350
+ goal = Porolog::Goal.new args1, nil
351
+ subgoal = Porolog::Goal.new args2, goal
352
352
 
353
- predicate :gamma
353
+ Porolog::predicate :gamma
354
354
 
355
355
  gamma(8,5).fact!
356
356
 
357
- rule = Rule.new args1, [gamma(:j,:k)]
357
+ rule = Porolog::Rule.new args1, [gamma(:j,:k)]
358
358
 
359
359
  subsubgoal = new_goal :gamma, :y, :z
360
- subsubgoal_spy = Spy.on(Goal, :new).and_return do |*args|
361
- Spy.off(Goal, :new)
360
+ subsubgoal_spy = Spy.on(Porolog::Goal, :new).and_return do |*args|
361
+ Spy.off(Porolog::Goal, :new)
362
362
  subsubgoal
363
363
  end
364
364
 
@@ -425,8 +425,8 @@ describe 'Porolog' do
425
425
 
426
426
  it 'should not unify and not instantiate variables with a subgoal nor satisfy the subgoal when it cannot be unified' do
427
427
  # -- Create Goals --
428
- goal = Goal.new args1, nil
429
- subgoal = Goal.new args2, goal
428
+ goal = Porolog::Goal.new args1, nil
429
+ subgoal = Porolog::Goal.new args2, goal
430
430
  subgoal.instantiate :y, 7
431
431
 
432
432
  # -- Create goal for satisfy_conjunction() --
@@ -454,15 +454,15 @@ describe 'Porolog' do
454
454
  ].join("\n")
455
455
 
456
456
  # -- Define Predicate --
457
- predicate :gamma
457
+ Porolog::predicate :gamma
458
458
 
459
459
  gamma(8,5).fact!
460
460
 
461
- rule = Rule.new args1, [gamma(:j,:k)]
461
+ rule = Porolog::Rule.new args1, [gamma(:j,:k)]
462
462
 
463
463
  # -- Prepare Checks for satisfy_conjunction() --
464
- subsubgoal_spy = Spy.on(Goal, :new).and_return do |*args|
465
- Spy.off(Goal, :new)
464
+ subsubgoal_spy = Spy.on(Porolog::Goal, :new).and_return do |*args|
465
+ Spy.off(Porolog::Goal, :new)
466
466
  subsubgoal
467
467
  end
468
468