Foundations of Logic Programming (Symbolic Computation)
Logic Grammars (Symbolic Computation)
Foundations of Inductive Logic Programming
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Logic Programming: A Classified Bibliography
Logic Programming with Prolog
Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
Programming in Prolog
Logic Programming and Databases (Surveys in Computer Science)
Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen
