Text this: Table space designs for implicit and explicit concurrent tabled evaluation.