Intelligent Agents that Reason about Web Services: a Logic Programming Approach