Wer sich für Compilerbau und Rechnerarchitektur jenseits des Mainstream interessiert, der sollte mal einen Blick in Peter M. Kogge, The Architecture of Symbolic Computers werfen.
Hier werden Rechnerarchitekturen für funktionale und logische Programmierung beschrieben, angefangen von den diverse LISP Maschinen bis zur WAM für Prolog.
Absolut lesenswert!