David H. D. Warren Alive
Designed the Warren Abstract Machine (1983) — the compilation model that made Prolog fast.
19251950197520002025
Designed the Warren Abstract Machine (WAM, 1983) — the compilation technique that made Prolog fast and remains the implementation model for logic languages.\n\nHis 'Abstract Prolog Machine' technical report is the most-implemented spec in logic programming.