Anfonwch hwn fel neges destun: The DLV System for Knowledge Representation and Reasoning