Interesting post about Picat:

Planner programming blows my mind

https://www.hillelwayne.com/post/picat/

> Picat is a research language intended to combine logic programming, imperative programming, and constraint solving. I originally learned it to help with vacation scheduling but soon discovered its planner module, which is one of the most fascinating programming models I’ve ever seen. ...