The Handbook of Programming Languages (HPL): Functional, Concurrent and Logic Programming Languages

A complete handbook includes the history of the most widely used functional, concurrent, and logic programming languages, including LISP, Scheme, Prolog, and others, to enable the reader to evaluate each and to understand the ways in which each works. (Advanced).