Aka logic programming.

SQL all the things!

Something close to that.

So, a declarative language describing a target state (versus how to get there), like the one used for Terraform, but for product behavior?