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

1 comment:

  1. Frank Shearar1:02 AM

    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

    ReplyDelete