Title: Logic Programming Techniques
Subjects: Logic, symbolic and mathematical, Computer programming