Text this: Deductive databases and logic programming