How to Split a Logic Program