Functional and Logic Programming by Herbert et al Kuchen