Class: RubyProlog::CallbackEnvironment
- Inherits:
-
Object
- Object
- RubyProlog::CallbackEnvironment
- Defined in:
- lib/ruby-prolog/ruby-prolog.rb
Instance Method Summary collapse
- #[](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.
250 251 252 |
# File 'lib/ruby-prolog/ruby-prolog.rb', line 250 def initialize(env, trail, core) @env, @trail, @core = env, trail, core end |
Instance Method Details
#[](t) ⇒ Object
254 255 256 |
# File 'lib/ruby-prolog/ruby-prolog.rb', line 254 def [](t) return @env[t] end |
#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 |