Ich habe den Eindruck, dass Du die Fachbegriffe einfach nur umgangssprachlich entschlüsselst und daher zu Deinen Fehlschlüssen kommst. Bitte beschäftige Dich etwas ernsthafter mit der Informatik, bevor Du Artikel verschlimmerst. :-( Ein Beispiel: Nur weil das Wort Abstract in WAM enthalten ist, heisst dass noch lange nicht das die WAM lediglich ein theoretisches Konstrukt ist. Hier ein Auszug aus dem Prolog Manual: GNU Prolog is a Prolog compiler based on the Warren Abstract Machine (WAM) [8, 1]. It first compiles a Prolog program to a WAM file which is then translated to a low-level machine independent language called mini-assembly specifically designed for GNU Prolog. The resulting file is then translated to the assembly language of the target machine (from which an object is obtained). http://pauillac.inria.fr/~diaz/gnu-prolog/manual/manual003.html Die WAM ist einfach ein Zwischenschritt, für den aber realer Zwischencode produziert wird (da stehen WAM Dateien im Dateisystem bei der Übersetztung!), auf dem Weg von der Hochsprache zum Objectcode für den ausführenden realen Prozessor! -- Marc van Woerkom 00:25, 23. Feb 2006 (CET)