WAM

An intermediate language for compiled Prolog, used by the Warren Abstract Machine.

"An Abstract Prolog Instruction Set", D. H. D. Warren, TR 309, SRI 1983.