Skip to content
◈ALB Atlas

David H. D. Warren Alive

David H. D. Warren
KindPerson
Born1947
StatusAlive

Designed the Warren Abstract Machine (1983) — the compilation model that made Prolog fast.

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.