A logic-based approach for computing service executions plans in peer-to-peer networks