Grounding and Solving in Answer Set Programming