През 1983 г. Дейвид Х. Д. Уорън проектира абстрактна машина за изпълнение на Prolog, състояща се от архитектура на паметта и набор от инструкции. Този дизайн стана известен като Machine Warren Abstract (WAM) и се превърна в де факто стандартна цел за компилатори на Prolog.
|