Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has ...