This reads like a marketing webpage and is not technically coherent. What is the purpose that this langauge is intending to solve? I used to program in a decl

This reads like a marketing webpage and is not technically coherent. What is the purpose that this langauge is intending to solve? I used to program in a declarative langauge a few decades ago, Prolog. Heck, even makefiles are declarative. Declarative programming isn't guaranteed to be bug-free in the way the page indicates.