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.

---