Picat: A Logic-based Multi-paradigm Language(2014) [pdf]