Picat: A Logic-based Multi-paradigm Language(2014) [pdf] logicprogramming.org 1 points by b-man a day ago