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