Answer Set Solving in Practice