Module: Unific

Defined in:
lib/unific.rb

Defined Under Namespace

Classes: Env, Var, Wildcard

Constant Summary collapse

VERSION = 
'0.12'

Class Method Summary collapse

Class Method Details

._ ⇒ Object

Return the Unific wildcard variable



241
242
243
 
# File 'lib/unific.rb', line 241

def self._
  Unific::Wildcard.instance
end

.fail ⇒ Object

Return false

Placeholder for possible future expansion of failed unification behavior



261
262
263
 
# File 'lib/unific.rb', line 261

def self.fail
  false
end

.trace(lvl = false) ⇒ Object

Turn on tracing (to STDERR) of Unific operations

The optional level argument sets the verbosity – if not passed, each call to this method increases verbosity



249
250
251
 
# File 'lib/unific.rb', line 249

def self.trace lvl = false
  Unific::Env::trace lvl
end

.unify(a, b, env = Env.new) ⇒ Object

Unify two terms against an empty environment

See README.rdoc or Env#unify for details

If the two values cannot be unified, ‘false’ is returned. If they can, a new environment is returned which is this environment extended with any new bindings created by unification. – XXX This documentation must be kept in sync with that for Env#unify ++



196
197
198
 
# File 'lib/unific.rb', line 196

def self.unify a, b, env = Env.new
  env.unify a, b
end

.untrace ⇒ Object

Turn off tracing (to STDERR) of Unific operations



254
255
256
 
# File 'lib/unific.rb', line 254

def self.untrace
  Unific::Env::untrace untrace
end