Warren Abstract Machine

Warren's Abstract Machine (WAM ) refers to a computer science 1983 specified by David HD Warren ideal processor whose machine language is used as a target language for Prolog translator or interpreter. This is also called a virtual machine because it real as hardware (eg, silicon -made) are the WAM processor does not, but only as software.

After translation into WAM- code Prolog programs can be run from a WAM implementation on the run-time system, ie, a WAM interpreter that simulates these ideal processor. Alternatively can be used as intermediate code like GNU Prolog to WAM code, which is then translated into a further intermediate code called mini -assembly before it the machine language of the target processor is generated.