Sunday, December 29, 2013

Unification - a unification library for Smalltalk.

Unification is in computer science and logic an algorithmic process of solving equations between symbolic expressions. Now there is an unification library for Smalltalk available.

1 comment:

Frank Shearar said...

Thanks for the advertising, Torsten! I guess it would help a bit adding more "why should I care?" to the README.

I have written a few articles on the library, if you'll excuse the broken formatting therein. (I've contacted the blog admin to sort out the problem.) You can find these articles here:

* Unification: pattern matching, but twice as nice!
* Rolling your own control structurs with lambdas
* Unifying parts of structures