Logic Programming And Nonmonotonic Reasoning by C. Baral