Picat. A new language that blends different paradigms including logic programming, constraint solving, pattern matching into a cohesive whole. Allows for very c

Picat. A new language that blends different paradigms including logic programming, constraint solving, pattern matching into a cohesive whole. Allows for very compact, elegant solutions to many problems.