subsumption-based tabling in top-down resolution engines for data-intensive logic