David Nolen on Logic and Constraint Programming, Core.logic, Mozart/Oz | Hacker News Reader