class RubyProlog::CallbackEnvironment
Public Class Methods
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
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