factbase 0.9.0 → 0.9.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d9aeae89fbcf5e3c1b74f475a8ad001867869d29eab8b861a26b07a2fee9db93
-  data.tar.gz: 0c20ed8b499cb495ca438621b30c24c9c837a73c8cffdde812ecacabc7b9a49c
+  metadata.gz: 2b0b91a22c7ec63e9ec1b98bc325006645243b11d2b0fa1ca591f005c5e7b34e
+  data.tar.gz: 60014d07339a593674ec768b63c99a4a993f7b22a0a6f1eb1386e8137c90db30
 SHA512:
-  metadata.gz: 5f342a46704cdfa9f4355726fd7ca98f6a20d44090fd84c70e69189167abb97c378aca6f52fb295e736acbe4f501d61c65dd93ae833338327be8e81c9bb8f9a7
-  data.tar.gz: 0ec8785757ba4a370e0b1f50b3a7d50271e5245278b23d1b6a45618c90676517bf45763af7f5b150c606c22571992fcd15a95e771e661d2f62308add8e97d93a
+  metadata.gz: 82e2abb7c56c198486d512ee9145c22399f01342107b4ebac14556977f87d8811908230522473b926057b04f355e890e391c313e488580cf1a1bb17b658e1dd7
+  data.tar.gz: 03225a085c0acb3d9bc57ddaf71ed4c2a878c1cafc88858b39ee0872ff29348ad28d772506eca16fbf6f2183e9a55ddb56e77899b49289f15d72bc92193d6b98

data/Gemfile

@@ -6,11 +6,13 @@
 source 'https://rubygems.org'
 gemspec
 
-gem 'minitest', '5.25.4', require: false
+gem 'minitest', '5.25.5', require: false
 gem 'minitest-reporters', '1.7.1', require: false
+gem 'os', '>0', require: false
+gem 'qbash', '>0', require: false
 gem 'rake', '13.2.1', require: false
 gem 'rspec-rails', '7.1.1', require: false
-gem 'rubocop', '1.73.2', require: false
+gem 'rubocop', '1.74.0', require: false
 gem 'rubocop-minitest', '>0', require: false
 gem 'rubocop-performance', '>0', require: false
 gem 'rubocop-rake', '>0', require: false

data/Gemfile.lock

@@ -14,9 +14,9 @@ PATH
 GEM
   remote: https://rubygems.org/
   specs:
-    actionpack (8.0.1)
-      actionview (= 8.0.1)
-      activesupport (= 8.0.1)
+    actionpack (8.0.2)
+      actionview (= 8.0.2)
+      activesupport (= 8.0.2)
       nokogiri (>= 1.8.5)
       rack (>= 2.2.4)
       rack-session (>= 1.0.1)
@@ -24,13 +24,13 @@ GEM
       rails-dom-testing (~> 2.2)
       rails-html-sanitizer (~> 1.6)
       useragent (~> 0.16)
-    actionview (8.0.1)
-      activesupport (= 8.0.1)
+    actionview (8.0.2)
+      activesupport (= 8.0.2)
       builder (~> 3.1)
       erubi (~> 1.11)
       rails-dom-testing (~> 2.2)
       rails-html-sanitizer (~> 1.6)
-    activesupport (8.0.1)
+    activesupport (8.0.2)
       base64
       benchmark (>= 0.3)
       bigdecimal
@@ -58,6 +58,9 @@ GEM
     diff-lcs (1.6.0)
     docile (1.4.1)
     drb (2.2.1)
+    elapsed (0.0.1)
+      loog (> 0)
+      tago (> 0)
     erubi (1.13.1)
     i18n (1.14.7)
       concurrent-ruby (~> 1.0)
@@ -66,7 +69,7 @@ GEM
       pp (>= 0.6.0)
       rdoc (>= 4.0.0)
       reline (>= 0.4.2)
-    json (2.10.1)
+    json (2.10.2)
     language_server-protocol (3.17.0.4)
     lint_roller (1.1.0)
     logger (1.6.6)
@@ -74,7 +77,7 @@ GEM
       crass (~> 1.0.2)
       nokogiri (>= 1.12.0)
     loog (0.6.0)
-    minitest (5.25.4)
+    minitest (5.25.5)
     minitest-reporters (1.7.1)
       ansi
       builder
@@ -88,6 +91,7 @@ GEM
       racc (~> 1.4)
     nokogiri (1.18.3-x86_64-linux-gnu)
       racc (~> 1.4)
+    os (1.1.4)
     others (0.0.3)
     parallel (1.26.3)
     parser (3.3.7.1)
@@ -99,8 +103,13 @@ GEM
     psych (5.2.3)
       date
       stringio
+    qbash (0.4.0)
+      backtrace (> 0)
+      elapsed (> 0)
+      loog (> 0)
+      tago (> 0)
     racc (1.8.1)
-    rack (3.1.11)
+    rack (3.1.12)
     rack-session (2.1.0)
       base64 (>= 0.1.0)
       rack (>= 3.0.0)
@@ -115,9 +124,9 @@ GEM
     rails-html-sanitizer (1.6.2)
       loofah (~> 2.21)
       nokogiri (>= 1.15.7, != 1.16.7, != 1.16.6, != 1.16.5, != 1.16.4, != 1.16.3, != 1.16.2, != 1.16.1, != 1.16.0.rc1, != 1.16.0)
-    railties (8.0.1)
-      actionpack (= 8.0.1)
-      activesupport (= 8.0.1)
+    railties (8.0.2)
+      actionpack (= 8.0.2)
+      activesupport (= 8.0.2)
       irb (~> 1.13)
       rackup (>= 1.0.0)
       rake (>= 12.2)
@@ -148,7 +157,7 @@ GEM
       rspec-mocks (~> 3.13)
       rspec-support (~> 3.13)
     rspec-support (3.13.2)
-    rubocop (1.73.2)
+    rubocop (1.74.0)
       json (~> 2.3)
       language_server-protocol (~> 3.17.0.2)
       lint_roller (~> 1.1.0)
@@ -214,11 +223,13 @@ PLATFORMS
 
 DEPENDENCIES
   factbase!
-  minitest (= 5.25.4)
+  minitest (= 5.25.5)
   minitest-reporters (= 1.7.1)
+  os (> 0)
+  qbash (> 0)
   rake (= 13.2.1)
   rspec-rails (= 7.1.1)
-  rubocop (= 1.73.2)
+  rubocop (= 1.74.0)
   rubocop-minitest (> 0)
   rubocop-performance (> 0)
   rubocop-rake (> 0)

data/README.md

@@ -209,33 +209,33 @@ This is the result of the benchmark:
 <!-- benchmark_begin -->
 ```text
                                                                    user     system      total        real
-insert 20000 facts                                             0.561512   0.006100   0.567612 (  0.567669)
-export 20000 facts                                             0.021207   0.001926   0.023133 (  0.023136)
-import 411017 bytes (20000 facts)                              0.030268   0.004025   0.034293 (  0.034298)
-insert 10 facts                                                0.041799   0.003981   0.045780 (  0.045783)
-query 10 times w/txn                                           1.949384   0.022040   1.971424 (  1.971572)
-query 10 times w/o txn                                         0.766215   0.000000   0.766215 (  0.766298)
-modify 10 attrs w/txn                                          1.831320   0.019013   1.850333 (  1.850663)
-delete 10 facts w/txn                                          0.720217   0.000982   0.721199 (  0.721265)
-(and (eq what 'issue-was-closed') (exists... -> 200            2.699199   0.003986   2.703185 (  2.703395)
-(and (eq what 'issue-was-closed') (exists... -> 200/txn        2.711764   0.003998   2.715762 (  2.716000)
-(and (eq what 'issue-was-closed') (exists... -> zero           4.091858   0.003001   4.094859 (  4.095101)
-(and (eq what 'issue-was-closed') (exists... -> zero/txn       4.156396   0.003004   4.159400 (  4.159589)
-(gt time '2024-03-23T03:21:43Z')                               0.104266   0.001002   0.105268 (  0.105284)
-(gt cost 50)                                                   0.090716   0.000000   0.090716 (  0.090721)
-(eq title 'Object Thinking 5000')                              0.005533   0.000002   0.005535 (  0.005536)
-(and (eq foo 42.998) (or (gt bar 200) (absent zzz)))           0.053251   0.000002   0.053253 (  0.053255)
-(eq id (agg (always) (max id)))                                0.300388   0.000000   0.300388 (  0.300414)
-(join "c<=cost,b<=bar" (eq id (agg (always) (max id))))        1.254507   0.002999   1.257506 (  1.257555)
-delete!                                                        0.051979   0.000000   0.051979 (  0.051982)
-Taped.append() x50000                                          0.028540   0.000000   0.028540 (  0.028543)
-Taped.each() x125                                              1.332618   0.000000   1.332618 (  1.332645)
-Taped.delete_if() x375                                         0.815309   0.000000   0.815309 (  0.815348)
+insert 20000 facts                                             0.584859   0.005297   0.590156 (  0.590186)
+export 20000 facts                                             0.018342   0.005935   0.024277 (  0.024282)
+import 410974 bytes (20000 facts)                              0.028027   0.004994   0.033021 (  0.033026)
+insert 10 facts                                                0.041771   0.000989   0.042760 (  0.042763)
+query 10 times w/txn                                           2.020294   0.038146   2.058440 (  2.059555)
+query 10 times w/o txn                                         0.727753   0.001014   0.728767 (  0.728806)
+modify 10 attrs w/txn                                          1.919959   0.014025   1.933984 (  1.934328)
+delete 10 facts w/txn                                          0.739267   0.000000   0.739267 (  0.739299)
+(and (eq what 'issue-was-closed') (exists... -> 200            2.717595   0.003012   2.720607 (  2.720777)
+(and (eq what 'issue-was-closed') (exists... -> 200/txn        2.732913   0.002012   2.734925 (  2.735227)
+(and (eq what 'issue-was-closed') (exists... -> zero           4.149053   0.001010   4.150063 (  4.150436)
+(and (eq what 'issue-was-closed') (exists... -> zero/txn       4.116972   0.001001   4.117973 (  4.119644)
+(gt time '2024-03-23T03:21:43Z')                               0.107332   0.000002   0.107334 (  0.107336)
+(gt cost 50)                                                   0.094454   0.000000   0.094454 (  0.094458)
+(eq title 'Object Thinking 5000')                              0.003828   0.000000   0.003828 (  0.003830)
+(and (eq foo 42.998) (or (gt bar 200) (absent zzz)))           0.055983   0.000000   0.055983 (  0.055986)
+(eq id (agg (always) (max id)))                                0.329920   0.001995   0.331915 (  0.332005)
+(join "c<=cost,b<=bar" (eq id (agg (always) (max id))))        1.448262   0.002005   1.450267 (  1.450350)
+delete!                                                        0.056928   0.000000   0.056928 (  0.056932)
+Taped.append() x50000                                          0.035070   0.001000   0.036070 (  0.036074)
+Taped.each() x125                                              1.310450   0.000000   1.310450 (  1.310521)
+Taped.delete_if() x375                                         0.819224   0.000001   0.819225 (  0.819270)
 ```
 
 The results were calculated in [this GHA job][benchmark-gha]
-on 2025-03-12 at 08:03,
+on 2025-03-14 at 09:14,
 on Linux with 4 CPUs.
 <!-- benchmark_end -->
 
-[benchmark-gha]: https://github.com/yegor256/factbase/actions/runs/13806425302
+[benchmark-gha]: https://github.com/yegor256/factbase/actions/runs/13853425019

data/Rakefile

@@ -3,9 +3,12 @@
 # SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
 # SPDX-License-Identifier: MIT
 
+require 'qbash'
 require 'rubygems'
 require 'rake'
 require 'rake/clean'
+require 'shellwords'
+require 'os'
 
 def name
   @name ||= File.basename(Dir['*.gemspec'].first, '.*')
@@ -15,7 +18,7 @@ def version
   Gem::Specification.load(Dir['*.gemspec'].first).version
 end
 
-task default: %i[clean test rubocop yard]
+task default: %i[clean test picks reqs rubocop yard]
 
 require 'rake/testtask'
 desc 'Run all unit tests'
@@ -27,6 +30,22 @@ Rake::TestTask.new(:test) do |test|
   test.verbose = false
 end
 
+desc 'Run them via Ruby, one by one'
+task :picks do
+  next if OS.windows?
+  Dir['test/**/*.rb'].each do |f|
+    qbash("bundle exec ruby #{Shellwords.escape(f)}", log: $stdout)
+  end
+end
+
+desc 'Require them via Ruby, one by one'
+task :reqs do
+  next if OS.windows?
+  Dir['lib/**/*.rb'].each do |f|
+    qbash("bundle exec ruby #{Shellwords.escape(f)}", log: $stdout)
+  end
+end
+
 require 'yard'
 desc 'Build Yard documentation'
 YARD::Rake::YardocTask.new do |t|

data/lib/factbase/inv.rb

@@ -8,6 +8,17 @@ require 'decoor'
 require_relative '../factbase'
 
 # A decorator of a Factbase, that checks invariants on every set.
+#
+# For example, you can use this decorator if you want to check that every
+# fact has +when+:
+#
+#  fb = Factbase::Inv.new(Factbase.new) do |f, fbt|
+#    assert !f['when'].nil?
+#  end
+#
+# The second argument passed to the block is the factbase, while the first
+# one is the fact just touched.
+#
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
@@ -23,8 +34,8 @@ class Factbase::Inv
     Fact.new(@fb.insert, @block)
   end
 
-  def query(query)
-    Query.new(@fb.query(query), @block)
+  def query(query, maps = nil)
+    Query.new(@fb.query(query, maps), @block, self)
   end
 
   def txn
@@ -65,14 +76,15 @@ class Factbase::Inv
   class Query
     decoor(:query)
 
-    def initialize(query, block)
+    def initialize(query, block, fb)
       @query = query
       @block = block
+      @fb = fb
     end
 
-    def each
-      return to_enum(__method__) unless block_given?
-      @query.each do |f|
+    def each(fb = @fb, params = {})
+      return to_enum(__method__, fb, params) unless block_given?
+      @query.each(fb, params) do |f|
         yield Fact.new(f, @block)
       end
     end

data/lib/factbase/logged.rb

@@ -22,7 +22,7 @@ class Factbase::Logged
   # @param [Print] tube The tube to use, if log is NIL
   def initialize(fb, log = nil, time_tolerate: 1, tube: nil)
     raise 'The "fb" is nil' if fb.nil?
-    @fb = fb
+    @origin = fb
     if log.nil?
       raise 'Either "log" or "tube" must be non-NIL' if tube.nil?
       @tube = tube
@@ -31,17 +31,18 @@ class Factbase::Logged
     end
   end
 
-  decoor(:fb)
+  decoor(:origin)
 
   def insert
     start = Time.now
-    f = @fb.insert
-    @tube.say(start, "Inserted new fact ##{@fb.size} in #{start.ago}")
+    f = @origin.insert
+    @tube.say(start, "Inserted new fact ##{@origin.size} in #{start.ago}")
     Fact.new(f, tube: @tube)
   end
 
-  def query(query)
-    Query.new(query, @tube, @fb)
+  def query(term, maps = nil)
+    term = to_term(term) if term.is_a?(String)
+    Query.new(term, maps, @tube, @origin)
   end
 
   def txn
@@ -49,7 +50,7 @@ class Factbase::Logged
     id = nil
     rollback = false
     r =
-      @fb.txn do |fbt|
+      @origin.txn do |fbt|
         id = fbt.object_id
         yield Factbase::Logged.new(fbt, tube: @tube)
       rescue Factbase::Rollback => e
@@ -122,40 +123,25 @@ class Factbase::Logged
   # Query decorator.
   #
   # This is an internal class, it is not supposed to be instantiated directly.
-  #
   class Query
-    def initialize(expr, tube, fb)
-      @expr = expr
+    def initialize(term, maps, tube, fb)
+      @term = term
+      @maps = maps
       @tube = tube
       @fb = fb
     end
 
-    def one(fb = @fb, params = {})
-      start = Time.now
-      q = Factbase::Syntax.new(@expr).to_term.to_s
-      r = nil
-      tail =
-        Factbase::Logged.elapsed do
-          r = fb.query(@expr).one(fb, params)
-        end
-      if r.nil?
-        @tube.say(start, "Nothing found by '#{q}' #{tail}")
-      else
-        @tube.say(start, "Found #{r} (#{r.class}) by '#{q}' #{tail}")
-      end
-      r
-    end
-
-    def each(fb = @fb, params = {}, &)
+    def each(fb = nil, params = {}, &)
+      return to_enum(__method__, fb, params) unless block_given?
       start = Time.now
-      q = Factbase::Syntax.new(@expr).to_term.to_s
+      q = Factbase::Syntax.new(@term).to_term.to_s
       if block_given?
         r = nil
         tail =
           Factbase::Logged.elapsed do
-            r = fb.query(@expr).each(fb, params, &)
+            r = @fb.query(@term, @maps).each(@fb, params, &)
           end
-        raise ".each of #{@expr.class} returned #{r.class}" unless r.is_a?(Integer)
+        raise ".each of #{@term.class} returned #{r.class}" unless r.is_a?(Integer)
         if r.zero?
           @tube.say(start, "Nothing found by '#{q}' #{tail}")
         else
@@ -166,7 +152,7 @@ class Factbase::Logged
         array = []
         tail =
           Factbase::Logged.elapsed do
-            fb.query(@expr).each(fb, params) do |f|
+            @fb.query(@term, @maps).each(@fb, params) do |f|
               array << f
             end
           end
@@ -179,21 +165,37 @@ class Factbase::Logged
       end
     end
 
-    def delete!(fb = @fb)
+    def one(_fb = nil, params = {})
+      start = Time.now
+      q = Factbase::Syntax.new(@term).to_term.to_s
+      r = nil
+      tail =
+        Factbase::Logged.elapsed do
+          r = @fb.query(@term, @maps).one(@fb, params)
+        end
+      if r.nil?
+        @tube.say(start, "Nothing found by '#{q}' #{tail}")
+      else
+        @tube.say(start, "Found #{r} (#{r.class}) by '#{q}' #{tail}")
+      end
+      r
+    end
+
+    def delete!(_fb = nil)
       r = nil
       start = Time.now
-      before = fb.size
+      before = @fb.size
       tail =
         Factbase::Logged.elapsed do
-          r = @fb.query(@expr).delete!(fb)
+          r = @fb.query(@term).delete!(@fb)
         end
-      raise ".delete! of #{@expr.class} returned #{r.class}" unless r.is_a?(Integer)
+      raise ".delete! of #{@term.class} returned #{r.class}" unless r.is_a?(Integer)
       if before.zero?
-        @tube.say(start, "There were no facts, nothing deleted by '#{@expr}' #{tail}")
+        @tube.say(start, "There were no facts, nothing deleted by '#{@term}' #{tail}")
       elsif r.zero?
-        @tube.say(start, "No facts out of #{before} deleted by '#{@expr}' #{tail}")
+        @tube.say(start, "No facts out of #{before} deleted by '#{@term}' #{tail}")
       else
-        @tube.say(start, "Deleted #{r} fact(s) out of #{before} by '#{@expr}' #{tail}")
+        @tube.say(start, "Deleted #{r} fact(s) out of #{before} by '#{@term}' #{tail}")
       end
       r
     end

data/lib/factbase/rules.rb

@@ -40,8 +40,8 @@ class Factbase::Rules
     Fact.new(@fb.insert, @check, @fb)
   end
 
-  def query(query)
-    Query.new(@fb.query(query), @check, @fb)
+  def query(query, maps = nil)
+    Query.new(@fb.query(query, maps), @check, @fb)
   end
 
   def txn

data/lib/factbase/tallied.rb

@@ -31,8 +31,8 @@ class Factbase::Tallied
     f
   end
 
-  def query(query)
-    Query.new(@fb.query(query), @churn, @fb)
+  def query(query, maps = nil)
+    Query.new(@fb.query(query, maps), @churn, @fb)
   end
 
   def txn

data/lib/factbase/taped.rb

@@ -74,6 +74,14 @@ class Factbase::Taped
       @added = added
     end
 
+    def keys
+      @origin.keys
+    end
+
+    def map(&)
+      @origin.map(&)
+    end
+
     def [](key)
       v = @origin[key]
       v = TapedArray.new(v, @origin.object_id, @added) if v.is_a?(Array)

data/lib/factbase/term.rb

@@ -45,37 +45,37 @@ class Factbase::Term
   attr_reader :operands
 
   require_relative 'terms/math'
-  include Factbase::Term::Math
+  include Factbase::Math
 
   require_relative 'terms/logical'
-  include Factbase::Term::Logical
+  include Factbase::Logical
 
   require_relative 'terms/aggregates'
-  include Factbase::Term::Aggregates
+  include Factbase::Aggregates
 
   require_relative 'terms/strings'
-  include Factbase::Term::Strings
+  include Factbase::Strings
 
   require_relative 'terms/casting'
-  include Factbase::Term::Casting
+  include Factbase::Casting
 
   require_relative 'terms/meta'
-  include Factbase::Term::Meta
+  include Factbase::Meta
 
   require_relative 'terms/aliases'
-  include Factbase::Term::Aliases
+  include Factbase::Aliases
 
   require_relative 'terms/ordering'
-  include Factbase::Term::Ordering
+  include Factbase::Ordering
 
   require_relative 'terms/defn'
-  include Factbase::Term::Defn
+  include Factbase::Defn
 
   require_relative 'terms/system'
-  include Factbase::Term::System
+  include Factbase::System
 
   require_relative 'terms/debug'
-  include Factbase::Term::Debug
+  include Factbase::Debug
 
   # Ctor.
   # @param [Symbol] operator Operator

data/lib/factbase/terms/aggregates.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Aggregates
+module Factbase::Aggregates
   def min(_fact, maps, _fb)
     assert_args(1)
     _best(maps) { |v, b| v < b }

data/lib/factbase/terms/aliases.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Aliases
+module Factbase::Aliases
   def as(fact, maps, fb)
     assert_args(2)
     a = @operands[0]

data/lib/factbase/terms/casting.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Casting
+module Factbase::Casting
   def to_string(fact, maps, fb)
     assert_args(1)
     vv = _values(0, fact, maps, fb)

data/lib/factbase/terms/debug.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Debug
+module Factbase::Debug
   def traced(fact, maps, fb)
     assert_args(1)
     t = @operands[0]

data/lib/factbase/terms/defn.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Defn
+module Factbase::Defn
   def defn(_fact, _maps, _fb)
     assert_args(2)
     fn = @operands[0]

data/lib/factbase/terms/logical.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Logical
+module Factbase::Logical
   # Always returns true, regardless of the fact
   # @param [Factbase::Fact] _fact The fact (unused)
   # @param [Array<Factbase::Fact>] _maps All maps available (unused)

data/lib/factbase/terms/math.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Math
+module Factbase::Math
   def plus(fact, maps, fb)
     _arithmetic(:+, fact, maps, fb)
   end

data/lib/factbase/terms/meta.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Meta
+module Factbase::Meta
   def exists(fact, _maps, _fb)
     assert_args(1)
     !_by_symbol(0, fact).nil?

data/lib/factbase/terms/ordering.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Ordering
+module Factbase::Ordering
   def prev(fact, maps, fb)
     assert_args(1)
     before = @prev

data/lib/factbase/terms/strings.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::Strings
+module Factbase::Strings
   def concat(fact, maps, fb)
     (0..@operands.length - 1).map { |i| _values(i, fact, maps, fb)&.first }.join
   end

data/lib/factbase/terms/system.rb

@@ -10,7 +10,7 @@ require_relative '../../factbase'
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
 # License:: MIT
-module Factbase::Term::System
+module Factbase::System
   def env(fact, maps, fb)
     assert_args(2)
     n = _values(0, fact, maps, fb)[0]

data/lib/factbase.rb

@@ -82,7 +82,7 @@ require 'yaml'
 # License:: MIT
 class Factbase
   # Current version of the gem (changed by .rultor.yml on every release)
-  VERSION = '0.9.0'
+  VERSION = '0.9.2' unless const_defined?(:VERSION)
 
   # An exception that may be thrown in a transaction, to roll it back.
   class Rollback < StandardError; end

data/test/factbase/terms/test_aliases.rb

@@ -3,6 +3,7 @@
 # SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
 # SPDX-License-Identifier: MIT
 
+require 'loog'
 require_relative '../../test__helper'
 require_relative '../../../lib/factbase/term'
 require_relative '../../../lib/factbase/syntax'

data/test/factbase/test_query.rb

@@ -4,9 +4,15 @@
 # SPDX-License-Identifier: MIT
 
 require_relative '../test__helper'
+require 'loog'
 require 'time'
 require_relative '../../lib/factbase'
 require_relative '../../lib/factbase/query'
+require_relative '../../lib/factbase/logged'
+require_relative '../../lib/factbase/pre'
+require_relative '../../lib/factbase/inv'
+require_relative '../../lib/factbase/rules'
+require_relative '../../lib/factbase/tallied'
 require_relative '../../lib/factbase/cached/cached_factbase'
 require_relative '../../lib/factbase/indexed/indexed_factbase'
 require_relative '../../lib/factbase/sync/sync_factbase'
@@ -38,7 +44,12 @@ class TestQuery < Factbase::Test
               size = q['size']
               assert_equal(size, fb.query(qry).each.to_a.size, "#{base}: #{qry} at #{badge}")
               fb.txn do |fbt|
-                assert_equal(size, fbt.query(qry).each.to_a.size, "#{base}: #{qry} at #{badge} (in txn)")
+                facts = fbt.query(qry).each.to_a
+                assert_equal(size, facts.size, "#{base}: #{qry} at #{badge} (in txn)")
+                facts.each do |fact|
+                  refute_empty(fact.all_properties)
+                  refute_nil(fact.to_s)
+                end
               end
             else
               ret = q['one']
@@ -227,13 +238,34 @@ class TestQuery < Factbase::Test
   def with_factbases(maps = [], &)
     {
       'plain' => Factbase.new(maps),
+      'pre+plain' => Factbase::Pre.new(Factbase.new(maps)) { nil },
+      'rules+plain' => Factbase::Rules.new(Factbase.new(maps), '(always)'),
+      'inv+plain' => Factbase::Inv.new(Factbase.new(maps)) { nil },
       'sync+plain' => Factbase::SyncFactbase.new(Factbase.new(maps)),
+      'tallied+plain' => Factbase::Tallied.new(Factbase.new(maps)),
       'indexed+plain' => Factbase::IndexedFactbase.new(Factbase.new(maps)),
       'cached+plain' => Factbase::CachedFactbase.new(Factbase.new(maps)),
+      'logged+plain' => Factbase::Logged.new(Factbase.new(maps), Loog::NULL),
       'indexed+cached+plain' => Factbase::IndexedFactbase.new(Factbase::CachedFactbase.new(Factbase.new(maps))),
       'cached+indexed+plain' => Factbase::CachedFactbase.new(Factbase::IndexedFactbase.new(Factbase.new(maps))),
       'sync+cached+indexed+plain' => Factbase::SyncFactbase.new(
         Factbase::CachedFactbase.new(Factbase::IndexedFactbase.new(Factbase.new(maps)))
+      ),
+      'all+plain' => Factbase::Tallied.new(
+        Factbase::Pre.new(
+          Factbase::Rules.new(
+            Factbase::Inv.new(
+              Factbase::SyncFactbase.new(
+                Factbase::CachedFactbase.new(
+                  Factbase::IndexedFactbase.new(
+                    Factbase.new(maps)
+                  )
+                )
+              )
+            ) { nil },
+            '(always)'
+          )
+        ) { nil }
       )
     }.each(&)
   end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: factbase
 version: !ruby/object:Gem::Version
-  version: 0.9.0
+  version: 0.9.2
 platform: ruby
 authors:
 - Yegor Bugayenko
 bindir: bin
 cert_chain: []
-date: 2025-03-12 00:00:00.000000000 Z
+date: 2025-03-14 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: backtrace