D.H.D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, SRI International, 1983.

David Warren est l'auteur des premiers compilateurs pour Prolog qui ont considérablement amélioré ses performances d'exécution. Sa machine abstraite, la Warren Abstract Machine, fait aujourd'hui référence en termes d'implantation.

Association pour la Programmation en Logique.

Première conférence internationale sur la Programmation en logique (ICLP) Faculté des Sciences de Luminy, Marseille, France, 14-17 septembre 1982.

Association pour la Programmation par Contraintes.

Première conférence internationale sur les principes et la pratique de la programmation par contraintes (CP) Cassis, France, 19-22 septembre 1995.

---