Title: Foundations of Logic Programming
Subjects: Computer science, Artificial intelligence