DLV on Groover