A Declarative Optimization Engine for Resource Provisioning of Scientific Workflows in IaaS Clouds
problog : a probabilistic prolog and its application in link discovery .