factbase 0.0.50 → 0.0.52

data/lib/factbase/terms/logical.rb

@@ -0,0 +1,95 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require_relative '../../factbase'
+
+# Logical terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Logical
+  def always(_fact, _maps)
+    assert_args(0)
+    true
+  end
+
+  def never(_fact, _maps)
+    assert_args(0)
+    false
+  end
+
+  def not(fact, maps)
+    assert_args(1)
+    !_only_bool(the_values(0, fact, maps), 0)
+  end
+
+  def or(fact, maps)
+    (0..@operands.size - 1).each do |i|
+      return true if _only_bool(the_values(i, fact, maps), i)
+    end
+    false
+  end
+
+  def and(fact, maps)
+    (0..@operands.size - 1).each do |i|
+      return false unless _only_bool(the_values(i, fact, maps), i)
+    end
+    true
+  end
+
+  def and_or_simplify
+    strs = []
+    ops = []
+    @operands.each do |o|
+      o = o.simplify
+      s = o.to_s
+      next if strs.include?(s)
+      strs << s
+      ops << o
+    end
+    return ops[0] if ops.size == 1
+    Factbase::Term.new(@op, ops)
+  end
+
+  def and_simplify
+    and_or_simplify
+  end
+
+  def or_simplify
+    and_or_simplify
+  end
+
+  def when(fact, maps)
+    assert_args(2)
+    a = @operands[0]
+    b = @operands[1]
+    !a.evaluate(fact, maps) || (a.evaluate(fact, maps) && b.evaluate(fact, maps))
+  end
+
+  def _only_bool(val, pos)
+    val = val[0] if val.is_a?(Array)
+    return false if val.nil?
+    return val if val.is_a?(TrueClass) || val.is_a?(FalseClass)
+    raise "Boolean expected, while #{val.class} received from #{@operands[pos]}"
+  end
+end

data/lib/factbase/terms/math.rb

@@ -0,0 +1,91 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require_relative '../../factbase'
+
+# Math terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Math
+  def plus(fact, maps)
+    arithmetic(:+, fact, maps)
+  end
+
+  def minus(fact, maps)
+    arithmetic(:-, fact, maps)
+  end
+
+  def times(fact, maps)
+    arithmetic(:*, fact, maps)
+  end
+
+  def div(fact, maps)
+    arithmetic(:/, fact, maps)
+  end
+
+  def zero(fact, maps)
+    assert_args(1)
+    vv = the_values(0, fact, maps)
+    return false if vv.nil?
+    vv.any? { |v| (v.is_a?(Integer) || v.is_a?(Float)) && v.zero? }
+  end
+
+  def eq(fact, maps)
+    cmp(:==, fact, maps)
+  end
+
+  def lt(fact, maps)
+    cmp(:<, fact, maps)
+  end
+
+  def gt(fact, maps)
+    cmp(:>, fact, maps)
+  end
+
+  def cmp(op, fact, maps)
+    assert_args(2)
+    lefts = the_values(0, fact, maps)
+    return false if lefts.nil?
+    rights = the_values(1, fact, maps)
+    return false if rights.nil?
+    lefts.any? do |l|
+      l = l.floor if l.is_a?(Time) && op == :==
+      rights.any? do |r|
+        r = r.floor if r.is_a?(Time) && op == :==
+        l.send(op, r)
+      end
+    end
+  end
+
+  def arithmetic(op, fact, maps)
+    assert_args(2)
+    lefts = the_values(0, fact, maps)
+    return nil if lefts.nil?
+    raise 'Too many values at first position, one expected' unless lefts.size == 1
+    rights = the_values(1, fact, maps)
+    return nil if rights.nil?
+    raise 'Too many values at second position, one expected' unless rights.size == 1
+    lefts[0].send(op, rights[0])
+  end
+end

data/lib/factbase/terms/meta.rb

@@ -0,0 +1,73 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require_relative '../../factbase'
+
+# Meta terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Meta
+  def exists(fact, _maps)
+    assert_args(1)
+    !by_symbol(0, fact).nil?
+  end
+
+  def absent(fact, _maps)
+    assert_args(1)
+    by_symbol(0, fact).nil?
+  end
+
+  def size(fact, _maps)
+    assert_args(1)
+    v = by_symbol(0, fact)
+    return 0 if v.nil?
+    return 1 unless v.is_a?(Array)
+    v.size
+  end
+
+  def type(fact, _maps)
+    assert_args(1)
+    v = by_symbol(0, fact)
+    return 'nil' if v.nil?
+    v = v[0] if v.is_a?(Array) && v.size == 1
+    v.class.to_s
+  end
+
+  def nil(fact, maps)
+    assert_args(1)
+    the_values(0, fact, maps).nil?
+  end
+
+  def many(fact, maps)
+    assert_args(1)
+    v = the_values(0, fact, maps)
+    !v.nil? && v.size > 1
+  end
+
+  def one(fact, maps)
+    assert_args(1)
+    v = the_values(0, fact, maps)
+    !v.nil? && v.size == 1
+  end
+end

data/lib/factbase/terms/ordering.rb

@@ -0,0 +1,51 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require_relative '../../factbase'
+
+# Ordering terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Ordering
+  def prev(fact, maps)
+    assert_args(1)
+    before = @prev
+    v = the_values(0, fact, maps)
+    @prev = v
+    before
+  end
+
+  def unique(fact, _maps)
+    @uniques = [] if @uniques.nil?
+    assert_args(1)
+    vv = by_symbol(0, fact)
+    return false if vv.nil?
+    vv = [vv] unless vv.is_a?(Array)
+    vv.each do |v|
+      return false if @uniques.include?(v)
+      @uniques << v
+    end
+    true
+  end
+end

data/lib/factbase/terms/strings.rb

@@ -0,0 +1,41 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require_relative '../../factbase'
+
+# String terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Strings
+  def matches(fact, maps)
+    assert_args(2)
+    str = the_values(0, fact, maps)
+    return false if str.nil?
+    raise 'Exactly one string expected' unless str.size == 1
+    re = the_values(1, fact, maps)
+    raise 'Regexp is nil' if re.nil?
+    raise 'Exactly one regexp expected' unless re.size == 1
+    str[0].to_s.match?(re[0])
+  end
+end

data/lib/factbase/to_xml.rb

@@ -59,11 +59,11 @@ class Factbase::ToXML
               if vv.is_a?(Array)
                 xml.send(:"#{k}_") do
                   vv.each do |v|
-                    xml.send(:v, to_str(v))
+                    xml.send(:v, to_str(v), t: type_of(v))
                   end
                 end
               else
-                xml.send(:"#{k}_", to_str(vv))
+                xml.send(:"#{k}_", to_str(vv), t: type_of(vv))
               end
             end
           end
@@ -81,4 +81,8 @@ class Factbase::ToXML
       val.to_s
     end
   end
+
+  def type_of(val)
+    val.class.to_s[0]
+  end
 end

data/lib/factbase.rb

@@ -74,12 +74,14 @@ require 'yaml'
 # It's important to use +binwrite+ and +binread+, because the content is
 # a chain of bytes, not a text.
 #
+# It is NOT thread-safe!
+#
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024 Yegor Bugayenko
 # License:: MIT
 class Factbase
   # Current version of the gem (changed by .rultor.yml on every release)
-  VERSION = '0.0.50'
+  VERSION = '0.0.52'
 
   # An exception that may be thrown in a transaction, to roll it back.
   class Rollback < StandardError; end

data/test/factbase/terms/test_aggregates.rb

@@ -0,0 +1,76 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'minitest/autorun'
+require_relative '../../../lib/factbase/term'
+require_relative '../../../lib/factbase/syntax'
+
+# Aggregates test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestAggregates < Minitest::Test
+  def test_aggregation
+    maps = [
+      { 'x' => [1], 'y' => [0], 'z' => [4] },
+      { 'x' => [2], 'y' => [42], 'z' => [3] },
+      { 'x' => [3], 'y' => [42], 'z' => [5] },
+      { 'x' => [4], 'y' => [42], 'z' => [2] },
+      { 'x' => [5], 'y' => [42], 'z' => [1] },
+      { 'x' => [8], 'y' => [0], 'z' => [6] }
+    ]
+    {
+      '(eq x (agg (eq y 42) (min x)))' => '(eq x 2)',
+      '(eq z (agg (eq y 0) (max z)))' => '(eq x 8)',
+      '(eq x (agg (and (eq y 42) (gt z 1)) (max x)))' => '(eq x 4)',
+      '(and (eq x (agg (eq y 42) (min x))) (eq z 3))' => '(eq x 2)',
+      '(eq x (agg (eq y 0) (nth 0 x)))' => '(eq x 1)',
+      '(eq x (agg (eq y 0) (first x)))' => '(eq x 1)',
+      '(agg (eq foo 42) (always))' => '(eq x 1)'
+    }.each do |q, r|
+      t = Factbase::Syntax.new(q).to_term
+      f = maps.find { |m| t.evaluate(fact(m), maps) }
+      assert(!f.nil?, "nothing found by: #{q}")
+      assert(Factbase::Syntax.new(r).to_term.evaluate(fact(f), []))
+    end
+  end
+
+  def test_empty
+    maps = [
+      { 'x' => [1], 'y' => [0], 'z' => [4] },
+      { 'x' => [8], 'y' => [0] }
+    ]
+    {
+      '(empty (eq y 42))' => true,
+      '(empty (eq x 1))' => false
+    }.each do |q, r|
+      t = Factbase::Syntax.new(q).to_term
+      assert_equal(r, t.evaluate(nil, maps), q)
+    end
+  end
+
+  private
+
+  def fact(map = {})
+    Factbase::Fact.new(Mutex.new, map)
+  end
+end

data/test/factbase/terms/test_aliases.rb

@@ -0,0 +1,79 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'minitest/autorun'
+require_relative '../../../lib/factbase/term'
+require_relative '../../../lib/factbase/syntax'
+require_relative '../../../lib/factbase/accum'
+
+# Aliases test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestAliases < Minitest::Test
+  def test_aliases
+    maps = [
+      { 'x' => [1], 'y' => [0] },
+      { 'x' => [2], 'y' => [42] }
+    ]
+    {
+      '(as foo (plus x 1))' => '(exists foo)',
+      '(as foo (plus x y))' => '(gt foo 0)',
+      '(as foo (plus bar 1))' => '(absent foo)'
+    }.each do |q, r|
+      t = Factbase::Syntax.new(q).to_term
+      maps.each do |m|
+        f = Factbase::Accum.new(fact(m), {}, false)
+        next unless t.evaluate(f, maps)
+        assert(Factbase::Syntax.new(r).to_term.evaluate(f, []), "#{q} -> #{f}")
+      end
+    end
+  end
+
+  def test_join
+    maps = [
+      { 'x' => 1, 'y' => 0, 'z' => 4 },
+      { 'x' => [2], 'bar' => [44, 55, 66] }
+    ]
+    {
+      '(join "foo_x<=x" (gt x 1))' => '(exists foo_x)',
+      '(join "foo <=bar  " (exists bar))' => '(and (eq foo 44) (eq foo 55))',
+      '(join "uuu" (eq x 1))' => '(absent uuu)',
+      '(join "uuu <= fff" (eq fff 1))' => '(absent uuu)'
+    }.each do |q, r|
+      t = Factbase::Syntax.new(q).to_term
+      maps.each do |m|
+        f = Factbase::Accum.new(fact(m), {}, false)
+        require_relative '../../../lib/factbase/looged'
+        f = Factbase::Looged::Fact.new(f, Loog::NULL)
+        next unless t.evaluate(f, maps)
+        assert(Factbase::Syntax.new(r).to_term.evaluate(f, []), "#{q} -> #{f} doesn't match #{r}")
+      end
+    end
+  end
+
+  private
+
+  def fact(map = {})
+    Factbase::Fact.new(Mutex.new, map)
+  end
+end

data/test/factbase/terms/test_math.rb

@@ -0,0 +1,99 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'minitest/autorun'
+require_relative '../../../lib/factbase/term'
+
+# Aggregates test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestMath < Minitest::Test
+  def test_simple
+    t = Factbase::Term.new(:eq, [:foo, 42])
+    assert(t.evaluate(fact('foo' => [42]), []))
+    assert(!t.evaluate(fact('foo' => 'Hello!'), []))
+    assert(!t.evaluate(fact('bar' => ['Hello!']), []))
+  end
+
+  def test_zero
+    t = Factbase::Term.new(:zero, [:foo])
+    assert(t.evaluate(fact('foo' => [0]), []))
+    assert(t.evaluate(fact('foo' => [10, 5, 6, -8, 'hey', 0, 9, 'fdsf']), []))
+    assert(!t.evaluate(fact('foo' => [100]), []))
+    assert(!t.evaluate(fact('foo' => []), []))
+    assert(!t.evaluate(fact('bar' => []), []))
+  end
+
+  def test_eq
+    t = Factbase::Term.new(:eq, [:foo, 42])
+    assert(t.evaluate(fact('foo' => 42), []))
+    assert(t.evaluate(fact('foo' => [10, 5, 6, -8, 'hey', 42, 9, 'fdsf']), []))
+    assert(!t.evaluate(fact('foo' => [100]), []))
+    assert(!t.evaluate(fact('foo' => []), []))
+    assert(!t.evaluate(fact('bar' => []), []))
+  end
+
+  def test_eq_time
+    now = Time.now
+    t = Factbase::Term.new(:eq, [:foo, Time.parse(now.iso8601)])
+    assert(t.evaluate(fact('foo' => now), []))
+    assert(t.evaluate(fact('foo' => [now, Time.now]), []))
+  end
+
+  def test_lt
+    t = Factbase::Term.new(:lt, [:foo, 42])
+    assert(t.evaluate(fact('foo' => [10]), []))
+    assert(!t.evaluate(fact('foo' => [100]), []))
+    assert(!t.evaluate(fact('foo' => 100), []))
+    assert(!t.evaluate(fact('bar' => 100), []))
+  end
+
+  def test_gt
+    t = Factbase::Term.new(:gt, [:foo, 42])
+    assert(t.evaluate(fact('foo' => [100]), []))
+    assert(t.evaluate(fact('foo' => 100), []))
+    assert(!t.evaluate(fact('foo' => [10]), []))
+    assert(!t.evaluate(fact('foo' => 10), []))
+    assert(!t.evaluate(fact('bar' => 10), []))
+  end
+
+  def test_lt_time
+    t = Factbase::Term.new(:lt, [:foo, Time.now])
+    assert(t.evaluate(fact('foo' => [Time.now - 100]), []))
+    assert(!t.evaluate(fact('foo' => [Time.now + 100]), []))
+    assert(!t.evaluate(fact('bar' => [100]), []))
+  end
+
+  def test_gt_time
+    t = Factbase::Term.new(:gt, [:foo, Time.now])
+    assert(t.evaluate(fact('foo' => [Time.now + 100]), []))
+    assert(!t.evaluate(fact('foo' => [Time.now - 100]), []))
+    assert(!t.evaluate(fact('bar' => [100]), []))
+  end
+
+  private
+
+  def fact(map = {})
+    Factbase::Fact.new(Mutex.new, map)
+  end
+end