Beefy Boxes and Bandwidth Generously Provided by pair Networks
Bob Think about Loose Coupling  Comment on  Sounds interesting.
I have had unification on my mind a lot lately as well.
Unification just makes life really nice, as you can be
declarative instead of imperative. Modern functional languages
like OCaml and (especially) Haskell use tons of unification. The
most notable application is for the various forms of case
statements you'll find in these languages (either explicit case
statements or implicit conditional behavior, like function
overloading & multimethods), so I think of unification mainly as
a method for conditional behavior based on the structure of the
data involved.  I don't know a lot about heavy-duty logic
programming, so I'm wondering what (if any) kinds of logic
programming paradigms aren't easily do-able with nothing but a
good unification-based case statement (perhaps in the guise of
multimethod dispatch)?  Again, the application to case
statements makes this sound like it's in a similar