Seol mar théacs é seo: The DLV System for Knowledge Representation and Reasoning