Functional and Logic Programming Book

The first few sections focus on parsing and context-free grammars and the like, and so might be rough going for all of us who nearly flunked algebra (like me, cough). After that, there's a wealth of detail on everything from abstract syntax trees to garbage collected memory management. I found out after the fact that there's other editions of this book that use Java and ML instead of C, and that the original (using ML) is less painful to read because the code examples aren't cluttered with the kinds of memory management details that tend to litter C code. At first I regretted this, but in truth it isn't that big an obstacle, especially since I'm using LLVM by way of Python, and therefore relying on the book mostly for theory and not specific code examples.