Text this: A Technique for Transforming Rules in Deductive Databases