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