The charm of functional languages is illustrated by programs in Standard ML and the Scheme dialect of Lisp. Logic programming is introduced using Prolog.

Programming Languages surveys current topics in programming languages such as logic programming, functional programming, and object-oriented programming.