Logic For Programming, Artificial Intelligence And Reasoning by R. Nieuwenhuis & A. Voronkov