Intended for computer science majors, this textbook introduces the abstract concepts that underlie all programming languages, and provides tutorials on ML, Java, and Prolog. Webber (University of Wisconsin) explains the grammar that defines syntax and semantics, language systems, types, polymorphism, scope, memory location for variables, memory man