May 27, 2005 spout

The Logic of Logic

Here. The one where I re-discover the good parts of constraint logic programming.