Functional and Constraint Logic Programmingby Michael Hanus, Claudio Sacerdoti CoenWriting a summary for young readers…For young readersBook data: Open Library