Multi-shot ASP solving with clingo
The DLV System for Knowledge Representation and Reasoning