Logic and Databases Past, Present, and Future