A Logic Programming Approach to Channel Routing