factbase 0.0.1

data/lib/factbase/fact.rb

@@ -0,0 +1,58 @@
+# 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.
+
+# Fact.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::Fact
+  def initialize(mutex, map)
+    @mutex = mutex
+    @map = map
+  end
+
+  def method_missing(*args)
+    k = args[0].to_s
+    if k.end_with?('=')
+      k = k[0..-2]
+      @mutex.synchronize do
+        @map[k] = [] if @map[k].nil?
+        @map[k] << args[1]
+      end
+      nil
+    else
+      v = @map[k]
+      raise "Can't find '#{k}'" if v.nil?
+      v[0]
+    end
+  end
+
+  # rubocop:disable Style/OptionalBooleanParameter
+  def respond_to?(_method, _include_private = false)
+    # rubocop:enable Style/OptionalBooleanParameter
+    true
+  end
+
+  def respond_to_missing?(_method, _include_private = false)
+    true
+  end
+end

data/lib/factbase/query.rb

@@ -0,0 +1,56 @@
+# 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 'syntax'
+require_relative 'fact'
+
+# Query.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::Query
+  def initialize(maps, mutex, query)
+    @maps = maps
+    @mutex = mutex
+    @query = query
+  end
+
+  # Iterate them one by one.
+  # @yield [Fact] Facts one-by-one
+  def each
+    term = Factbase::Syntax.new(@query).to_term
+    @maps.each do |m|
+      next unless term.matches?(m)
+      yield Factbase::Fact.new(@mutex, m)
+    end
+  end
+
+  # Turn it into an array.
+  # @return [Array] All facts in an array
+  # rubocop:disable Style/MapIntoArray
+  def to_a
+    array = []
+    each { |f| array << f }
+    array
+  end
+  # rubocop:enable Style/MapIntoArray
+end

data/lib/factbase/syntax.rb

@@ -0,0 +1,101 @@
+# 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 'cgi'
+require_relative 'fact'
+require_relative 'term'
+
+# Syntax.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::Syntax
+  def initialize(query)
+    @query = query
+  end
+
+  # Convert it to a term.
+  # @return [Term] The term detected
+  def to_term
+    @tokens ||= to_tokens
+    @ast ||= to_ast(@tokens, 0)
+    @ast[0]
+  end
+
+  private
+
+  # Reads the stream of tokens, starting at the +at+ position. If the
+  # token at the position is not a literal (like 42 or "Hello") but a term,
+  # the function recursively calls itself.
+  #
+  # The function returns an two-elements array, where the first element
+  # is the term/literal and the second one is the position where the
+  # scanning should continue.
+  def to_ast(tokens, at)
+    return [tokens[at], at + 1] unless tokens[at] == :open
+    at += 1
+    op = tokens[at]
+    return [Factbase::Term.new(:nil, []), at + 1] if op == :close
+    operands = []
+    at += 1
+    loop do
+      break if tokens[at] == :close
+      (operand, at1) = to_ast(tokens, at)
+      at = at1
+      operands << operand
+      break if tokens[at] == :close
+    end
+    [Factbase::Term.new(op, operands), at + 1]
+  end
+
+  def to_tokens
+    list = []
+    acc = ''
+    @query.to_s.chars.each do |c|
+      if !acc.empty? && [' ', ')'].include?(c)
+        list << acc
+        acc = ''
+      end
+      case c
+      when '('
+        list << :open
+      when ')'
+        list << :close
+      when ' '
+        # ignore it
+      else
+        acc += c
+      end
+    end
+    list.map do |t|
+      if t.is_a?(Symbol)
+        t
+      elsif t.start_with?('\'')
+        CGI.unescapeHTML(t[1..-2])
+      elsif t.match?(/^[0-9]+$/)
+        t.to_i
+      else
+        t.to_sym
+      end
+    end
+  end
+end

data/lib/factbase/term.rb

@@ -0,0 +1,109 @@
+# 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 'fact'
+
+# Term.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::Term
+  def initialize(operator, operands)
+    @op = operator
+    @operands = operands
+  end
+
+  # Does it match the map?
+  # @param [Map] The map
+  # @return [bool] TRUE if matches
+  def matches?(map)
+    send(@op, map)
+  end
+
+  def to_s
+    items = []
+    items << @op
+    items += @operands.map do |o|
+      if o.is_a?(String)
+        "'#{o}'"
+      else
+        o.to_s
+      end
+    end
+    "(#{items.join(' ')})"
+  end
+
+  private
+
+  def nil(_map)
+    true
+  end
+
+  def not(map)
+    !@operands[0].matches?(map)
+  end
+
+  def or(map)
+    @operands.each do |o|
+      return true if o.matches?(map)
+    end
+    false
+  end
+
+  def and(map)
+    @operands.each do |o|
+      return false unless o.matches?(map)
+    end
+    true
+  end
+
+  def exists(map)
+    k = @operands[0].to_s
+    !map[k].nil?
+  end
+
+  def absent(map)
+    k = @operands[0].to_s
+    map[k].nil?
+  end
+
+  def eq(map)
+    k = @operands[0].to_s
+    v = map[k]
+    return false if v.nil?
+    v[0] == @operands[1]
+  end
+
+  def lt(map)
+    k = @operands[0].to_s
+    v = map[k]
+    return false if v.nil?
+    v[0] < @operands[1]
+  end
+
+  def gt(map)
+    k = @operands[0].to_s
+    v = map[k]
+    return false if v.nil?
+    v[0] > @operands[1]
+  end
+end

data/lib/factbase.rb

@@ -0,0 +1,83 @@
+# 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.
+
+# Factbase.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase
+  # Current version of the library and of this class.
+  VERSION = '0.0.1'
+
+  # Constructor.
+  def initialize
+    @maps = []
+    @mutex = Mutex.new
+  end
+
+  # Insert a new fact.
+  # @return [Factbase::Fact] The fact just inserted
+  def insert
+    map = {}
+    @mutex.synchronize do
+      f = Factbase::Fact.new(Mutex.new, map)
+      f.id = @maps.size + 1
+      @maps << map
+    end
+    Factbase::Fact.new(@mutex, map)
+  end
+
+  # Create a query capable of iterating.
+  #
+  # There is a Lisp-like syntax, for example (all string literals
+  # must be HTML-escaped):
+  #
+  #  (eq title 'Object&#20;Thinking')
+  #  (gt time '2024-03-23T03:21:43')
+  #  (gt cost 42)
+  #  (exists seenBy)
+  #  (and
+  #    (eq foo '42')
+  #    (or
+  #      (gt bar 200)
+  #      (absent zzz)))
+  #
+  # @param [String] query The query to use for selections
+  def query(query)
+    Factbase::Query.new(@maps, @mutex, query)
+  end
+
+  # Export it into a chain of bytes.
+  def export
+    Marshal.dump(@maps)
+  end
+
+  # Import from a chain of bytes.
+  def import(bytes)
+    # rubocop:disable Security/MarshalLoad
+    @maps += Marshal.load(bytes)
+    # rubocop:enable Security/MarshalLoad
+  end
+end
+
+require_relative 'factbase/fact'
+require_relative 'factbase/query'

data/renovate.json

@@ -0,0 +1,6 @@
+{
+  "$schema": "https://docs.renovatebot.com/renovate-schema.json",
+  "extends": [
+    "config:base"
+  ]
+}

data/test/factbase/test_fact.rb

@@ -0,0 +1,40 @@
+# 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'
+
+# Fact test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestFact < Minitest::Test
+  def test_simple_resetting
+    map = {}
+    f = Factbase::Fact.new(Mutex.new, map)
+    f.foo = 42
+    assert_equal(42, f.foo)
+    f.foo = 256
+    assert_equal(42, f.foo)
+  end
+end

data/test/factbase/test_query.rb

@@ -0,0 +1,40 @@
+# 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'
+
+# Query test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestQuery < Minitest::Test
+  def test_simple_parsing
+    maps = []
+    maps << { 'foo' => [42] }
+    q = Factbase::Query.new(maps, Mutex.new, '(eq foo 42)')
+    q.each do |f|
+      assert_equal(42, f.foo)
+    end
+  end
+end

data/test/factbase/test_syntax.rb

@@ -0,0 +1,72 @@
+# 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/syntax'
+
+# Syntax test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestSyntax < Minitest::Test
+  def test_simple_parsing
+    [
+      '()',
+      '(foo)',
+      '(foo (bar) (zz 77)   )',
+      "(eq foo    'Hello,&#x20;world!')",
+      "(or ( a 4) (b 5) () (and () (c 5) (r 7 8s 8is 'Foo')))"
+    ].each do |q|
+      Factbase::Syntax.new(q).to_term
+    end
+  end
+
+  def test_exact_parsing
+    [
+      '(foo)',
+      '(foo 7)',
+      "(foo 7 'Dude')",
+      '(foo x y z)',
+      "(foo x y z t f 42 'Hi!' 33)",
+      '(foo (x) y z)',
+      "(foo (x (f (t (y 42 'Hey'))) (f) (r 3)) y z)"
+    ].each do |q|
+      assert_equal(q, Factbase::Syntax.new(q).to_term.to_s)
+    end
+  end
+
+  def test_simple_matching
+    m = {
+      'foo' => ['Hello, world!'],
+      'bar' => [42],
+      'z' => [1, 2, 3, 4]
+    }
+    {
+      '(eq z 1)' => true,
+      '(or (eq bar 888) (eq z 1))' => true,
+      "(or (gt bar 100) (eq foo 'Hello,&#x20;world!'))" => true
+    }.each do |k, v|
+      assert_equal(v, Factbase::Syntax.new(k).to_term.matches?(m), k)
+    end
+  end
+end

data/test/factbase/test_term.rb

@@ -0,0 +1,68 @@
+# 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'
+
+# Term test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestTerm < Minitest::Test
+  def test_simple_matching
+    t = Factbase::Term.new(:eq, ['foo', 42])
+    assert(t.matches?({ 'foo' => [42] }))
+    assert(!t.matches?({ 'foo' => ['Hello!'] }))
+    assert(!t.matches?({ 'bar' => ['Hello!'] }))
+  end
+
+  def test_lt_matching
+    t = Factbase::Term.new(:lt, ['foo', 42])
+    assert(t.matches?({ 'foo' => [10] }))
+    assert(!t.matches?({ 'foo' => [100] }))
+  end
+
+  def test_gt_matching
+    t = Factbase::Term.new(:gt, ['foo', 42])
+    assert(t.matches?({ 'foo' => [100] }))
+    assert(!t.matches?({ 'foo' => [10] }))
+  end
+
+  def test_not_matching
+    t = Factbase::Term.new(:not, [Factbase::Term.new(:nil, [])])
+    assert(!t.matches?({ 'foo' => [100] }))
+  end
+
+  def test_or_matching
+    t = Factbase::Term.new(
+      :or,
+      [
+        Factbase::Term.new(:eq, ['foo', 4]),
+        Factbase::Term.new(:eq, ['bar', 5])
+      ]
+    )
+    assert(t.matches?({ 'foo' => [4] }))
+    assert(t.matches?({ 'bar' => [5] }))
+    assert(!t.matches?({ 'bar' => [42] }))
+  end
+end

data/test/test__helper.rb

@@ -0,0 +1,30 @@
+# 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.
+
+$stdout.sync = true
+
+require 'simplecov'
+SimpleCov.start
+
+require 'minitest/autorun'
+require_relative '../lib/factbase'