unific version 0.9 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
(the whole logic programming environment this is taken from is available
the in-development Rulog[http://github.com/jimwise/rulog]] (Ruby With
gem), but can also be useful on its own as a pattern matching engine
can enforce consistency across multiple matches.
0.9 / 2012-01-12
- unific split out from the in-development rulog (Ruby With Logic) gem