One thing I'd love to see logic programming used for is in an infrastructure-as-code platform to provision cloud resources. I don't want to have to define secu

One thing I'd love to see logic programming used for is in an infrastructure-as-code platform to provision cloud resources. I don't want to have to define security groups, subnets, route tables, etc. Instead, I want to declaratively say "Service A must communicate with Service B", and based on the properties of those services, all the correct cloud resources will be defined. Subject, of course, to constraints around security, etc. We are tantalizingly close to this with current IaC tools (CDK, Pulumi, etc) but at the end of the day you still need to define each granular cloud resource (even if the code to do so can be tucked away in a library abstraction.) I'm busy with my current gig now, but if you forced me to launch a startup at gunpoint, this would definitely be it.