Picat: A simple, powerful, logic-based multi-paradigm programming language