unific version 0.10 has been released!
- <Author:: Jim W. (mailto:[email protected])>
- <Copyright:: Copyright © 2011, 2012 Jim W.>
- <License:: 2-clause BSD-Style (see LICENSE.txt)>
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 (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
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
tested with Ruby 1.9.3 as well as 1.8.7