The impact of logic programming on databases | Communications of the ACM | DeepDyve