Functional and Logic Programmingby Jeremy Gibbons, Dale MillerWriting a summary for young readers…For young readersBook data: Open Library