WAM Report - SRI
D.H.D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International, 1983.
David Warren wrote the first compilers for Prolog which greatly improved its execution performance. His target instruction set and memory architecture (known as the Warren Abstract Machine) today is a reference design for implementors.
ALP logo
Association for Logic Programming.
First International Conference on Logic Programming (ICLP)
Faculté des Sciences de Luminy, Marseille, France, September 14-17, 1982
ACP logo
Association for Constraint Programming.
First International Conference on Principles and Practice of Constraint Programming (CP)
Cassis, France, September 19-22, 1995.


URL Version française