Text this: Bottom-up evaluation of HiLog in the context of deductive database systems