Foundations of deductive databases and logic programming | lit.salon