A Logic-based Approach for IP Network Services Management and Configuration