WAM(ID:1064/wam001)

Intermediate language for compiled Prolog, 

Intermediate language for compiled Prolog, used by the Warren Abstract Machine.
Related languages
DCG => WAM   Variant
WAM => CLAM   Based on
WAM => NUA-Prolog   Extension of
References:
  • Warren,David "Logic Programming and Compiler Writing" Softw. Pract. Exper. 10, 2 (Feb. 1980) pp97-125 view details Abstract: The concept of "logic programming," and its practical
    application in the programming language PROLOG,
    are explained from first principles. The ideas
    are illustrated by describing in detail one sizable PROLOG
    program which implements a simple compiler.
    The advantages and practicability of using PROLOG
    for "real" compiler implementation are discussed.
  • Warren, D.H.D. "An Abstract Prolog Instruction Set", TR 309, SRI 1983. view details