Implementation and ExeCution Models for Logic Programming by Manuel Hermenegildo
Theoretical Foundations of Logic Programming by Miroslaw Truszczynski
Foundations of Semantic Web and Computational Logic
by Sheila McIlraith
Answer Set Programming by Torsten Schaub Torsten
Foundations of Constraint Programming and Constraint Logic Programming by Brent Venable
Continuous Constraints: An Overview by Martine Ceberio
Parallel Execution of Logic Programs: Back to the Future (??) by Enrico Pontelli
Applications of Computational Logic by Tim Hinrichs