A Logic Programming Approach to Integration Network Inference