Picat is a new logic-based programming language ... solver using the planner module. The maze-solving program will read a maze map from the standard input and output the best sequence of steps to get ...