Unific 0.10 Released

unific version 0.10 has been released!

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

This forum is not affiliated to the Ruby language, Ruby on Rails framework, nor any Ruby applications discussed here.

| Privacy Policy | Terms of Service | Remote Ruby Jobs