Reading list: Logic Programming