SIB: Sorted-integers-based Index for Compact and Fast Caching in Top-down Logic Rule Mining