test/porolog/arguments_test.rb in porolog-1.0.0 vs test/porolog/arguments_test.rb in porolog-1.0.1
- old
+ new
@@ -164,16 +164,16 @@
assert_equal '[ pred(1,"a",0.1):- true]', pred.rules.inspect
end
end
- describe '#falicy!' do
+ describe '#fallacy!' do
- it 'should create a falicy for its predicate' do
+ it 'should create a fallacy for its predicate' do
arguments1 = pred.(1,'a',0.1)
- arguments1.falicy!
+ arguments1.fallacy!
assert_equal '[ pred(1,"a",0.1):- false]', pred.rules.inspect
end
end
@@ -188,16 +188,16 @@
assert_equal '[ pred(1,"a",0.1):- [:CUT, true]]', pred.rules.inspect
end
end
- describe '#cut_falicy!' do
+ describe '#cut_fallacy!' do
- it 'should create a falicy for its predicate and terminate solving the goal' do
+ it 'should create a fallacy for its predicate and terminate solving the goal' do
arguments1 = pred.(1,'a',0.1)
- arguments1.cut_falicy!
+ arguments1.cut_fallacy!
assert_equal '[ pred(1,"a",0.1):- [:CUT, false]]', pred.rules.inspect
end
end
@@ -770,13 +770,13 @@
f(5).fact!
refute f(3).valid?, name
end
- it 'should return false when a falicy is found' do
+ it 'should return false when a fallacy is found' do
predicate :f
- f(3).falicy!
+ f(3).fallacy!
refute f(3).valid?, name
end
end