The Knowledge Representation System DLV: Progress Report, Comparisons, and Benchmarks