Module: Rubylog::Term

Included in:
Object, Structure, Symbol
Defined in:
lib/rubylog/term.rb

Instance Method Summary collapse

Instance Method Details

#rubylog_clone {|_self| ... } ⇒ Object

Yields:

  • (_self)

Yield Parameters:

  • _self (Rubylog::Term) —

    the object that the method was called on



2
3
4
 
# File 'lib/rubylog/term.rb', line 2

def rubylog_clone
  yield self
end

#rubylog_deep_dereference ⇒ Object 



26
27
28
 
# File 'lib/rubylog/term.rb', line 26

def rubylog_deep_dereference
  self
end

#rubylog_dereference ⇒ Object 



22
23
24
 
# File 'lib/rubylog/term.rb', line 22

def rubylog_dereference
  self
end

#rubylog_match_variables ⇒ Object 



30
31
32
 
# File 'lib/rubylog/term.rb', line 30

def rubylog_match_variables
  self
end

#rubylog_resolve_function ⇒ Object 



10
11
12
 
# File 'lib/rubylog/term.rb', line 10

def rubylog_resolve_function
  self
end

#rubylog_unify(other) ⇒ Object 



14
15
16
17
18
19
20
 
# 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

#rubylog_variables ⇒ Object 



6
7
8
 
# File 'lib/rubylog/term.rb', line 6

def rubylog_variables
  []
end