Functional and logic programming languages (Macmillan Techn. Publ., 1998)