WAM
Warren Abstract Machine
Definition
Die WAM (Warren Abstract Machine) ist ein abstraktes Maschinenmodell, das als Standard für die Implementierung von Prolog-Interpretern und -Compilern gilt. Sie wurde 1983 von David H. D. Warren entwickelt und definiert einen effizienten Befehlssatz für die logische Programmierung. Die WAM bildet die Grundlage für die meisten modernen Prolog-Implementierungen.