module Rubylog::Term

Public Instance Methods

rubylog_clone() { |self| ... } click to toggle source
# File lib/rubylog/term.rb, line 2
def rubylog_clone
  yield self
end
rubylog_deep_dereference() click to toggle source
# File lib/rubylog/term.rb, line 26
def rubylog_deep_dereference
  self
end
rubylog_dereference() click to toggle source
# File lib/rubylog/term.rb, line 22
def rubylog_dereference
  self
end
rubylog_match_variables() click to toggle source
# File lib/rubylog/term.rb, line 30
def rubylog_match_variables
  self
end
rubylog_resolve_function() click to toggle source
# File lib/rubylog/term.rb, line 10
def rubylog_resolve_function
  self
end
rubylog_unify(other) { |end| ... } click to toggle source
# File lib/rubylog/term.rb, line 14
  def rubylog_unify other
    if other.kind_of? Rubylog::Variable
      other.rubylog_unify(self) do yield end
    else
      yield if self.eql? other
    end
  end

  def rubylog_dereference
    self
  end

  def rubylog_deep_dereference
    self
  end

  def rubylog_match_variables
    self
  end
end
rubylog_variables() click to toggle source
# File lib/rubylog/term.rb, line 6
def rubylog_variables
  []
end