I like the idea. An easy way to get resource graphs into an environment that is good at querying such things. I seen a few ideas start this way. They always seem to get to certain point before the two domains (in this case AWS configuration and Prolog) have to work so closely that another tool entirely has to be created (basically a config language close to Prolog but geared toward the problem domain). I am surprised something like this doesn't already exist.