This book introduces the concepts of functional and symbolic programming, applies these techniques to some problems of varying complexity, and eventually discusses the implementation of an abstraction layer for solving problems in an abstract, architecture-neutral way by the example of a purely symbolic LISP interpreter.