Answer Set Solving in Practice (Synthesis Lectures on Artificial Intelligence and Machine Learning)