This landmark volume explores the close relationship between deductive databases and logic programming and the foundational issues they share. A …