I want an IaC and nixos level language with prolog inspiration. Let me express how to go from fact to goals with constraints.

It would probably make more sense than HCL or Pulumi.

Agents based language are close in theory but they are really targeted at specific simulation and not at explaining what went wrong.

It would also make it easier to do partial application and resumption of it. And probably make constraints for security easier.

Probably make composition of infra level work easier too.