Incremental-DLV2