Picat: Logic-based multi-paradigm programming language | Hacker News Reader