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

Languages mentioned

• WAM {1983} Intermediate language for compiled Prolog,