Intermediate language for compiled Prolog, used by the Warren

Abstract Machine. "An Abstract Prolog Instruction Set",

D.H.D. Warren, TR 309, SRI 1983.