The Logic of Logic

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