unific version 0.9 has been released!
* <https://github.com/jimwise/unific>
* <Author:: Jim Wise (mailto:jwise@draga.com)>
* <Copyright:: Copyright (c) 2011, 2012 Jim Wise>
* <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[http://github.com/jimwise/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.
Changes:
### 0.9 / 2012-01-12
* unific split out from the in-development rulog (Ruby With Logic) gem
···
--
Jim Wise
jwise@draga.com