unific version 0.9 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[GitHub - jimwise/rulog: Ruby with Logic, a prolog-style logic programming system for Ruby]] (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