Unific 0.10 Released

unific version 0.10 has been released!

Unific is a ruby unification engine.

A unification engine is an essential part of a logic programming
environment (the whole logic programming environment this is taken from
is available as the in-development Rulog[1] (Ruby With Logic) gem), but
can also be useful on its own as a pattern matching engine which can
enforce consistency across multiple matches.


0.10 / 2012-01-30

  • Added a simple example program – a mock database using unification
    for query

  • more documentation improvements

  • added a hack to handle Rulog::Functor specially during unification for
    the moment; this will be handled more cleanly in the released version
    of rulog

  • tested with Ruby 1.9.3 as well as 1.8.7


[1] GitHub - jimwise/rulog: Ruby with Logic, a prolog-style logic programming system for Ruby