"Logic Programming and Databases" von Letizia Tanca ist ein umfassendes Nachschlagewerk, das die Verbindung zwischen Logikprogrammierung und Datenbanken untersucht. Es bietet eine detaillierte Analyse der Anwendung von logischen Systemen...