|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.|
|Association for Logic Programming.|
First International Conference on Logic Programming (ICLP) |
Faculté des Sciences de Luminy, Marseille, France, September 14-17, 1982
|Association for Constraint Programming.|
First International Conference on Principles and Practice of Constraint Programming (CP) |
Cassis, France, September 19-22, 1995.