Answer Set Solving In Practice