Foundations of deductive databases and logic programming - Minker Jack (Califirnia Morgan Kaufmann Pub, 1988)
Keywords: Deductive database; Logic programming