În 1983, David H. D. Warren a proiectat o mașină abstractă pentru executarea Prolog constând dintr-o arhitectură de memorie și un set de instrucțiuni. Acest design a devenit cunoscut sub numele de Warren Abstract Machine (WAM) și a devenit ținta de facto standard pentru compilarele Prolog. [Mașină abstractă] |