Minker, J. Logic and Databases Past, Present, and Future. AIMag 1997, 18, 21.