Warren,David "Logic Programming and Compiler Writing" Softw. Pract. Exper. 10, 2 (Feb. 1980) pp97-125
(1980)
Languages mentioned
WAM
{1983} Intermediate language for compiled Prolog,