Michael Hanus Functional and Logic Programming - 1st ed. 2022 - Springer 2022 - Lecture Notes in Computer Science . ISBN: 9783030994617 Subjects--Topical Terms: Computer ScienceSoftware Engineering