class RubyProlog::CallbackEnvironment

Public Class Methods

new(env, trail, core) click to toggle source
# File lib/ruby-prolog/ruby-prolog.rb, line 250
def initialize(env, trail, core)
  @env, @trail, @core = env, trail, core
end

Public Instance Methods

[](t) click to toggle source
# File lib/ruby-prolog/ruby-prolog.rb, line 254
def [](t)
  return @env[t]
end
unify(t, u) click to toggle source
# File lib/ruby-prolog/ruby-prolog.rb, line 258
def unify(t, u)
  # pp "CORE " + @core
  return @core._unify(t, @env, u, @env, @trail, @env)
end