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