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.
Posted by at

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

1:02 AM

Post a Comment

Subscribe to: Post Comments (Atom)