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.