Notes on Logic 
Programming (in addition to Nikolopoulos, Chapter 2