Multi-shot ASP solving with clingo
Theory Solving Made Easy with Clingo 5