Picat is a research language that blends logic programming, imperative programming, and constraint solving. It offers a unique planner module that can handle various tasks like vacation scheduling and pathfinding. The language uses atoms and variables to build equations and find solutions dynamically. By combining planning and constraint solving, Picat can tackle complex problems efficiently. The language supports different planning variations, such as limiting costs and exploring multiple plans. An intriguing example is solving the partition problem using the integrated features of Picat. While Picat showcases impressive capabilities, it is not suitable for production use due to its experimental nature.
https://www.hillelwayne.com/post/picat/