unific version 0.11 has been released!
- https://github.com/jimwise/unific
- <Author:: Jim W. (mailto:[email protected])>
- <Copyright:: Copyright (c) 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)[1] gem), but
can also be useful on its own as a pattern matching engine which can
enforce consistency across multiple matches.
[1] GitHub - jimwise/rulog: Ruby with Logic, a prolog-style logic programming system for Ruby
Changes:
0.11 / 2013-03-30
-
Update database example to work with Ruby 1.9 (where hashes keep
insertion order). -
Minor documentation tweaks, including mentioning support for Ruby
2.0.0