Class: RubyProlog::CallbackEnvironment

Inherits:

Object

• Object
• RubyProlog::CallbackEnvironment

Defined in:

lib/ruby-prolog/ruby-prolog.rb

Instance Method Summary

• #[](t) ⇒ Object
• #initialize(env, trail, core) ⇒ CallbackEnvironment constructor

  A new instance of CallbackEnvironment.

• #unify(t, u) ⇒ Object

Constructor Details

#initialize(env, trail, core) ⇒ CallbackEnvironment

Returns a new instance of CallbackEnvironment.

# File 'lib/ruby-prolog/ruby-prolog.rb', line 140

def initialize(env, trail, core)
  @env, @trail, @core = env, trail, core
end

Instance Method Details

#[](t) ⇒ Object

# File 'lib/ruby-prolog/ruby-prolog.rb', line 144

def [](t)
  return @env[t]
end

#unify(t, u) ⇒ Object

# File 'lib/ruby-prolog/ruby-prolog.rb', line 148

def unify(t, u)
  # pp "CORE " + @core
  return @core._unify(t, @env, u, @env, @trail, @env)
end