The ASP system DLV2