factbase 0.16.7 → 0.17.0

data/lib/factbase/terms/sorted.rb

@@ -0,0 +1,38 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# This class represents a 'sorted' term in the Factbase.
+# It evaluates whether the given facts satisfy the sorted condition.
+class Factbase::Sorted < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+    @op = 'sorted'
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] _fact The fact
+  # @param [Array<Factbase::Fact>] _maps All maps available
+  # @param [Factbase] _fb Factbase to use for sub-queries
+  # @return [Boolean] Whether the value is sorted
+  def evaluate(_fact, _maps, _fb)
+    true
+  end
+
+  def predict(maps, fb, params)
+    assert_args(2)
+    prop = @operands[0]
+    raise "A symbol is expected as first argument of 'sorted'" unless prop.is_a?(Symbol)
+    term = @operands[1]
+    raise "A term is expected, but '#{term}' provided" unless term.is_a?(Factbase::Term)
+    fb.query(term, maps).each(fb, params).to_a
+      .reject { |m| m[prop].nil? }
+      .sort_by { |m| m[prop].first }
+      .map { |m| m.all_properties.to_h { |k| [k, m[k]] } }
+  end
+end

data/lib/factbase/terms/sprintf.rb

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+
+# Format term.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+class Factbase::Sprintf < Factbase::TermBase
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [String] The formatted string
+  def evaluate(fact, maps, fb)
+    fmt = _values(0, fact, maps, fb)[0]
+    ops = (1..(@operands.length - 1)).map { |i| _values(i, fact, maps, fb)&.first }
+    format(*([fmt] + ops))
+  end
+end

data/lib/factbase/terms/times.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# This class represents a 'times' term within the Factbase.
+# It performs a multiplication operation over the given operands.
+class Factbase::Times < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @times = Factbase::Arithmetic.new(:*, operands)
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Object] Result of the multiplication
+  def evaluate(fact, maps, fb)
+    @times.evaluate(fact, maps, fb)
+  end
+end

data/lib/factbase/terms/to_float.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# Represents a float conversion term 'to_float'.
+# This class is used to evaluate a term and return its float representation.
+class Factbase::ToFloat < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Float] Float representation of the value
+  def evaluate(fact, maps, fb)
+    assert_args(1)
+    vv = _values(0, fact, maps, fb)
+    return nil if vv.nil?
+    vv[0].to_f
+  end
+end

data/lib/factbase/terms/to_integer.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# Represents an integer conversion term 'to_integer'.
+# This class is used to evaluate a term and return its integer representation.
+class Factbase::ToInteger < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Integer] Integer representation of the value
+  def evaluate(fact, maps, fb)
+    assert_args(1)
+    vv = _values(0, fact, maps, fb)
+    return nil if vv.nil?
+    vv[0].to_i
+  end
+end

data/lib/factbase/terms/to_string.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# Represents a string conversion term 'to_string'.
+# This class is used to evaluate a term and return its string representation.
+class Factbase::ToString < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [String] The same value as string
+  def evaluate(fact, maps, fb)
+    assert_args(1)
+    vv = _values(0, fact, maps, fb)
+    return nil if vv.nil?
+    vv[0].to_s
+  end
+end

data/lib/factbase/terms/to_time.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# Represents a string conversion term 'to_time'.
+# This class is used to evaluate a term and return its time representation.
+class Factbase::ToTime < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Time] Time representation of the value
+  def evaluate(fact, maps, fb)
+    assert_args(1)
+    vv = _values(0, fact, maps, fb)
+    return nil if vv.nil?
+    Time.parse(vv[0].to_s)
+  end
+end

data/lib/factbase/terms/traced.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+
+# A class representing a traced term in the factbase.
+# This class is responsible for evaluating a term and printing
+# its evaluation result for tracing purposes.
+class Factbase::Traced < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+    @op = 'traced'
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Object] Return value of the traced term
+  def evaluate(fact, maps, fb)
+    assert_args(1)
+    t = @operands[0]
+    raise "A term is expected, but '#{t}' provided" unless t.is_a?(Factbase::Term)
+    r = t.evaluate(fact, maps, fb)
+    puts "#{self} -> #{r}"
+    r
+  end
+end

data/lib/factbase/terms/type.rb

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+
+# Represents a type term in the Factbase.
+# This class evaluates the type of the given operand
+# based on the provided fact, maps, and factbase.
+class Factbase::Type < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] _maps All maps available
+  # @param [Factbase] _fb Factbase to use for sub-queries
+  # @return [String] Type of the operand
+  def evaluate(fact, _maps, _fb)
+    assert_args(1)
+    v = _by_symbol(0, fact)
+    return 'nil' if v.nil?
+    v = v[0] if v.respond_to?(:each) && v.size == 1
+    v.class.to_s
+  end
+end

data/lib/factbase/terms/undef.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# Implements the `undef` term for Factbase, which removes a method from the class.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
+# License:: MIT
+class Factbase::Undef < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] _fact The fact
+  # @param [Array<Factbase::Fact>] _maps All maps available
+  # @param [Factbase] _fb Factbase to use for sub-queries
+  # @return [Boolean] True if definition is successfully removed.
+  def evaluate(_fact, _maps, _fb)
+    assert_args(1)
+    fn = @operands[0]
+    raise "A symbol expected as first argument of 'undef'" unless fn.is_a?(Symbol)
+    if Factbase::Term.private_instance_methods(false).include?(fn)
+      Factbase::Term.class_eval("undef :#{fn}", __FILE__, __LINE__ - 1) # undef :foo
+    end
+    true
+  end
+end

data/lib/factbase/terms/unique.rb

@@ -0,0 +1,34 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# The Factbase::Unique class provides functionality for evaluating the uniqueness
+# of terms based on provided operands and facts.
+class Factbase::Unique < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Boolean] True if the value is unique, false otherwise
+  def evaluate(fact, maps, fb)
+    @seen = Set.new if @seen.nil?
+    raise "Too few operands for 'unique' (at least 1 expected)" if @operands.empty?
+    vv = (0..(@operands.size - 1)).map { |i| _values(i, fact, maps, fb) }
+    return false if vv.any?(nil)
+    pass = true
+    Enumerator.product(*vv).to_a.each do |t|
+      pass = false if @seen.include?(t)
+      @seen << t
+    end
+    pass
+  end
+end

data/lib/factbase/terms/when.rb

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+# The 'when' class represents a conditional term in the Factbase.
+# It evaluates the operands based on a logical "when" operation.
+class Factbase::When < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+    @op = :when
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Boolean] True if first operand is false OR both are true
+  def evaluate(fact, maps, fb)
+    assert_args(2)
+    a = @operands[0]
+    b = @operands[1]
+    !a.evaluate(fact, maps, fb) || (a.evaluate(fact, maps, fb) && b.evaluate(fact, maps, fb))
+  end
+end

data/lib/factbase/terms/zero.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
+# SPDX-License-Identifier: MIT
+
+require_relative 'base'
+
+# The `zero` term that evaluates whether any of the operand values is zero when applied to a fact.
+class Factbase::Zero < Factbase::TermBase
+  # Constructor.
+  # @param [Array] operands Operands
+  def initialize(operands)
+    super()
+    @operands = operands
+  end
+
+  # Evaluate term on a fact.
+  # @param [Factbase::Fact] fact The fact
+  # @param [Array<Factbase::Fact>] maps All maps available
+  # @param [Factbase] fb Factbase to use for sub-queries
+  # @return [Boolean] True if any value is zero
+  def evaluate(fact, maps, fb)
+    assert_args(1)
+    vv = _values(0, fact, maps, fb)
+    return false if vv.nil?
+    vv.any? { |v| (v.is_a?(Integer) || v.is_a?(Float)) && v.zero? }
+  end
+end

data/lib/factbase/version.rb

@@ -9,5 +9,5 @@
 # License:: MIT
 class Factbase
   # Current version of the gem (changed by .rultor.yml on every release)
-  VERSION = '0.16.7' unless const_defined?(:VERSION)
+  VERSION = '0.17.0' unless const_defined?(:VERSION)
 end

data/lib/factbase.rb

@@ -240,9 +240,18 @@ class Factbase
   # The facts that existed in the factbase before importing will remain there.
   # The facts from the incoming byte stream will be added to them.
   #
+  # This method supports both the original format (Array of maps) and
+  # the IndexedFactbase format (Hash with :maps and :idx keys).
+  #
   # @param [String] bytes Binary string to import
   def import(bytes)
     raise 'Empty input, cannot load a factbase' if bytes.empty?
-    @maps += Marshal.load(bytes)
+    data = Marshal.load(bytes)
+    @maps +=
+      if data.is_a?(Hash) && data.key?(:maps)
+        Marshal.load(data[:maps])
+      else
+        data
+      end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: factbase
 version: !ruby/object:Gem::Version
-  version: 0.16.7
+  version: 0.17.0
 platform: ruby
 authors:
 - Yegor Bugayenko
@@ -180,10 +180,20 @@ files:
 - lib/factbase/fact_as_yaml.rb
 - lib/factbase/flatten.rb
 - lib/factbase/impatient.rb
+- lib/factbase/indexed/indexed_absent.rb
+- lib/factbase/indexed/indexed_and.rb
+- lib/factbase/indexed/indexed_eq.rb
+- lib/factbase/indexed/indexed_exists.rb
 - lib/factbase/indexed/indexed_fact.rb
 - lib/factbase/indexed/indexed_factbase.rb
+- lib/factbase/indexed/indexed_gt.rb
+- lib/factbase/indexed/indexed_lt.rb
+- lib/factbase/indexed/indexed_not.rb
+- lib/factbase/indexed/indexed_one.rb
+- lib/factbase/indexed/indexed_or.rb
 - lib/factbase/indexed/indexed_query.rb
 - lib/factbase/indexed/indexed_term.rb
+- lib/factbase/indexed/indexed_unique.rb
 - lib/factbase/inv.rb
 - lib/factbase/light.rb
 - lib/factbase/logged.rb
@@ -197,18 +207,58 @@ files:
 - lib/factbase/taped.rb
 - lib/factbase/tee.rb
 - lib/factbase/term.rb
+- lib/factbase/terms/absent.rb
 - lib/factbase/terms/aggregates.rb
-- lib/factbase/terms/aliases.rb
-- lib/factbase/terms/casting.rb
-- lib/factbase/terms/debug.rb
+- lib/factbase/terms/always.rb
+- lib/factbase/terms/and.rb
+- lib/factbase/terms/arithmetic.rb
+- lib/factbase/terms/as.rb
+- lib/factbase/terms/assert.rb
+- lib/factbase/terms/base.rb
+- lib/factbase/terms/boolean.rb
+- lib/factbase/terms/compare.rb
+- lib/factbase/terms/concat.rb
+- lib/factbase/terms/count.rb
 - lib/factbase/terms/defn.rb
-- lib/factbase/terms/lists.rb
+- lib/factbase/terms/div.rb
+- lib/factbase/terms/either.rb
+- lib/factbase/terms/env.rb
+- lib/factbase/terms/eq.rb
+- lib/factbase/terms/exists.rb
+- lib/factbase/terms/first.rb
+- lib/factbase/terms/gt.rb
+- lib/factbase/terms/gte.rb
+- lib/factbase/terms/head.rb
+- lib/factbase/terms/inverted.rb
+- lib/factbase/terms/join.rb
 - lib/factbase/terms/logical.rb
-- lib/factbase/terms/math.rb
-- lib/factbase/terms/meta.rb
-- lib/factbase/terms/ordering.rb
-- lib/factbase/terms/strings.rb
-- lib/factbase/terms/system.rb
+- lib/factbase/terms/lt.rb
+- lib/factbase/terms/lte.rb
+- lib/factbase/terms/many.rb
+- lib/factbase/terms/matches.rb
+- lib/factbase/terms/minus.rb
+- lib/factbase/terms/never.rb
+- lib/factbase/terms/nil.rb
+- lib/factbase/terms/not.rb
+- lib/factbase/terms/one.rb
+- lib/factbase/terms/or.rb
+- lib/factbase/terms/plus.rb
+- lib/factbase/terms/prev.rb
+- lib/factbase/terms/shared.rb
+- lib/factbase/terms/size.rb
+- lib/factbase/terms/sorted.rb
+- lib/factbase/terms/sprintf.rb
+- lib/factbase/terms/times.rb
+- lib/factbase/terms/to_float.rb
+- lib/factbase/terms/to_integer.rb
+- lib/factbase/terms/to_string.rb
+- lib/factbase/terms/to_time.rb
+- lib/factbase/terms/traced.rb
+- lib/factbase/terms/type.rb
+- lib/factbase/terms/undef.rb
+- lib/factbase/terms/unique.rb
+- lib/factbase/terms/when.rb
+- lib/factbase/terms/zero.rb
 - lib/factbase/to_json.rb
 - lib/factbase/to_xml.rb
 - lib/factbase/to_yaml.rb

data/lib/factbase/terms/casting.rb

@@ -1,41 +0,0 @@
-# frozen_string_literal: true
-
-# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
-# SPDX-License-Identifier: MIT
-
-require_relative '../../factbase'
-
-# Casting terms.
-#
-# Author:: Yegor Bugayenko (yegor256@gmail.com)
-# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
-# License:: MIT
-module Factbase::Casting
-  def to_string(fact, maps, fb)
-    assert_args(1)
-    vv = _values(0, fact, maps, fb)
-    return nil if vv.nil?
-    vv[0].to_s
-  end
-
-  def to_integer(fact, maps, fb)
-    assert_args(1)
-    vv = _values(0, fact, maps, fb)
-    return nil if vv.nil?
-    vv[0].to_i
-  end
-
-  def to_float(fact, maps, fb)
-    assert_args(1)
-    vv = _values(0, fact, maps, fb)
-    return nil if vv.nil?
-    vv[0].to_f
-  end
-
-  def to_time(fact, maps, fb)
-    assert_args(1)
-    vv = _values(0, fact, maps, fb)
-    return nil if vv.nil?
-    Time.parse(vv[0].to_s)
-  end
-end

data/lib/factbase/terms/lists.rb

@@ -1,57 +0,0 @@
-# frozen_string_literal: true
-
-# SPDX-FileCopyrightText: Copyright (c) 2024-2025 Yegor Bugayenko
-# SPDX-License-Identifier: MIT
-
-require_relative '../../factbase'
-
-# Lists management.
-#
-# Author:: Yegor Bugayenko (yegor256@gmail.com)
-# Copyright:: Copyright (c) 2024-2025 Yegor Bugayenko
-# License:: MIT
-module Factbase::Lists
-  def sorted(_fact, _maps, _fb)
-    true
-  end
-
-  def sorted_predict(maps, fb, params)
-    assert_args(2)
-    prop = @operands[0]
-    raise "A symbol is expected as first argument of 'sorted'" unless prop.is_a?(Symbol)
-    term = @operands[1]
-    raise "A term is expected, but '#{term}' provided" unless term.is_a?(Factbase::Term)
-    fb.query(term, maps).each(fb, params).to_a
-      .reject { |m| m[prop].nil? }
-      .sort_by { |m| m[prop].first }
-      .map { |m| m.all_properties.to_h { |k| [k, m[k]] } }
-  end
-
-  def inverted(_fact, _maps, _fb)
-    true
-  end
-
-  def inverted_predict(maps, fb, params)
-    assert_args(1)
-    term = @operands[0]
-    raise "A term is expected, but '#{term}' provided" unless term.is_a?(Factbase::Term)
-    fb.query(term, maps).each(fb, params).to_a
-      .reverse
-      .map { |m| m.all_properties.to_h { |k| [k, m[k]] } }
-  end
-
-  def head(_fact, _maps, _fb)
-    true
-  end
-
-  def head_predict(maps, fb, params)
-    assert_args(2)
-    max = @operands[0]
-    raise "An integer is expected as first argument of 'sorted'" unless max.is_a?(Integer)
-    term = @operands[1]
-    raise "A term is expected, but '#{term}' provided" unless term.is_a?(Factbase::Term)
-    fb.query(term, maps).each(fb, params).to_a
-      .take(max)
-      .map { |m| m.all_properties.to_h { |k| [k, m[k]] } }
-  end
-end