Integration of declarative paradigmsby Michael HanusLogic programmingWriting a summary for young readers…For young readersBook data: Open Library