From: Jim Wise <jwise@...>
Date: 2012-01-31T04:28:54+09:00
Subject: [ANN] unific 0.10 Released

--=-=-=
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable


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
=2D-=20
				Jim Wise
				jwise@draga.com

--=-=-=
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (SunOS)

iQIcBAEBAgAGBQJPJu9vAAoJEKmNH3enz5vHvIsQAIufFy6+wBK3tPJ9linUzIa4
fpA3Xz4TDkAtt9NEsVJu1KG22VCE4qASP/nbHlPf3dxXHtTf4NDDVvOHSs8rGB7r
CqE1YFnNsAyLSmNiSakj0VnLY/jY48AIvRGZNBoVGgP51zhnuvLtW7MBnpxu//BS
h4W9Y+lfkI+QWYzEiVcYe/Sr8d/7cuKLABl+kmvVhBBDeShbE9kT/CW73ZEdj7O6
m5s6EiEQGyylGUIOTz235q1dypKYvFGUwVilEmKtIqtMZuf77cz1JhzFsTU66hTE
mz/lOmfOn8SOBCl61gjbSI3+v7qsDLUjI8A8vbm+DgGH18uDPIqez6TQuGzYQr+f
7YcRJl3vjO6i6eyDgWuo0zByB/onkP0xdYEprMFch2vwiaFxp9prAogXUz0Uhz1R
6vl+uEgD9EPqzICaNW6xnpBO12/gK0ke8mMBw6KjEh50mwfA6RYUwKjOqngV/mrk
Uum9RjI+04n4iKHfInY5Lbi53soKI+BS1slGWSjoGR5z1xruki0kM3uUPc1a2OB6
baR7kxY+oXV6PWLe4Lb6H5Ako4q1Lw/Bl9ANZyA6h6Eq7GANxUM1N2XOkZ/ixX2/
rHUxfwomScZRbFRaF429xqIFGDKjXwppRabdXNBtDOk9Kk6B0Y4oz2IBK3GKcRoc
u2cRSUOzkHNhdujHclCE
=nR1i
-----END PGP SIGNATURE-----
--=-=-=--