Logic Programming and Nonmonotonic Reasoningby Georg Gottlob, Daniela Inclezan, Marco MarateaWriting a summary for young readers…For young readersBook data: Open Library