unific version 0.10 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[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.
Changes:
### 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
Notes:
[1] http://github.com/jimwise/rulog
···
--
Jim Wise
jwise@draga.com