Method: RubyProlog::CallbackEnvironment#unify

Defined in:
lib/ruby-prolog/ruby-prolog.rb

#unify(t, u) ⇒ Object 



258
259
260
261
 
# 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