Reasoning Web. Declarative Artificial Intelligenceby Marco Manna, Andreas PierisWriting a summary for young readers…For young readersBook data: Open Library