Enhancing DLV for Large-Scale Reasoning