The birth of Prolog

2nd ACM SIGPLAN Conference on History of Programming Languages, HOPL 1993

Volumn , Issue , 1993, Pages 37-52

  Colmerauer, Alain ^a   Roussel, Philippe ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

NATURAL LANGUAGES;

PROLOG (PROGRAMMING LANGUAGE);

EID: 85033217309     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/154766.155362     Document Type: Conference Paper

References (40)

1. [Battani, 1973] Battani Gerard et Henry Meloni, Interpreteur du langage PROLOG, DEA report, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, 1973.
2. [Battani, 1975] Battani Gerard, Mise en oeuvre des contraintes phonologiques, syntaxiques et semantiques dans un systeme de comprehension automatique de la parole, 3eme cycle thesis, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, Universite Aix-Marseille II, France, June 1975.
3. [Bergman, 1973a] Bergman Marc and Henry Kanoui, Application of mechanical theorem proving to symbolic calculus, Third International Colloquium on advanced Computing Methods in Theoretical Physics, Marseilles, France, June 1973.
4. [Bergman, 1973b] Resolution par la demonstration automatique de quelques problemes en integration symbolique sur calculateur, 3eme cyle thesis, Groupe OiIntelligence Artificielle, Faculty des Sciences de Luminy, University Aix- Marseille II, France, October 1973.
5. [Bergman, 1975] Bergman Marc and Henry Kanoui, SYCOPHANTE, systeme de calcul formel sur ordinateur, final report for a DRET contract (Direction des Recherches et Etudes Techniques), Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, 1975.
6. [Boyer, 1972] Boyer Roger S. and Jay S. Moore, The sharing of Structure in Theorem Proving Programs, Machine Intelligence 7, edited by B. Melzer et D. Michie, Edinburgh University Press, New York, pp. 101-116, 1972.
7. [Chastellier, 1969] Chastellier de Guy and Alain Colmerauer, W Grammar. Proceedings of the ACM Congress, San Francisco, August, ACM, New York, pp. 511- 518, 1969.
8. [Chomsky, 1965] Chomsky Noam, Aspects of the Theory of Syntax, MIT Press, Cambridge, 1965.
9. [Cohen, 1988] Cohen Jacques, A view of the origins and development of Prolog, Comrnun. ACM 31, 1, pp- 26-36, January 1988.
10. [Colmerauer, 1970a] Total precedence relations, J. ACM 17, 1, pp. 14-30, January 1970.
11. [Colmerauer, 1970b] Les systemes-q ou un formalisme pour analyser et synthetiser des phrases sur ordinateur, Internal publication 43, D6partement d'informatique de rUniversitc de Montreal, September 1970.
12. [Colmerauer, 1971] Colmerauer Alain, Fernand Didier, Robert Pasero, Philippe Roussel, Jean Trudel, Repondre a, Internal publication, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, May 1971. This publication is a computer print-out with handwritten remarks.
13. [Colmerauer, 1972] Colmerauer Alain, Henry Kanoui, Robert Pasero et Philippe Roussel, Un systeme de communication en frangais, rapport preliminaire de fin de contrat IRIA, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, October 1972.
14. [Colmerauer, 1975] Colmerauer Alain, Les grammaircs de metamorphose GIA, Internal publication, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, Universite Aix-Marseille II, France, novembre 1975. Version anglaise, Metamorphosis grammars, Natural Language Communication with Computers, Lectures Notes in Computer Science 63, edite par L. Bole, Springer Verlag, Berlin Heidelberg, New York, pp. 133-189, 1978, ISBN3-540-08911-X.
15. [Darlington, 1969] Darlington J.L. Theorem-proving and information retrieval. Machine Intelligence 4, Edinburgh University Press, pp. 173-707, 1969.
16. [Elcok, 1988] Elcok E. W. Absys: The first logic programming language - A restrospective and a commentary. The journal of Logic Programming.
17. Floyd Robert W. Syntactic analysis and operator precedence. J.ACM 10, pp. 316-333, 1963.
18. [Floyd, 1967] Floyd Robert W., Nondeterministic algorithms. j. ACM 14, 4, pp. 636-644, October 1967.
19. [Green, 1969] Green Cordell C., Application of theorem-proving to problem-solving. Proceedings of First International Joint Conference on Artificial Intelligence, Washington D.C., pp. 219-239, 1969.
20. [Hewitt 69] Hewitt Carl, PLANNER: A language for proving theorems in robots, Proceedings of First International Joint Conference on Artificaila Intelligence, Washington D.C., pp. 295-301, 1969.
21. [Joubert, 1974] Joubert Michel, Un systeme de resolution de problemes a tendance naturelle, 3eme cycle thesis, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, February 1974.
22. [Kanoui, 1973] Kanoui Henry, Application de la demonstration automatique aux manipulations algebriques et a iintegration formelle sur ordinateur, 3rme cycle thesis, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, October 1973.
23. [Kanoui, 1976] Kanoui Henry, Some aspects Of Symbolic Integration via Predicate Logic Programming. ACM S1CSAM Bulletin, 1976.
24. [Kowalski, 1971] Kowalski Robert A. et D. Kuehner, Linear resolution with selection function, memo 78, University of Edinburgh, School of Artificial Intelligence, 1971. Also in Artificial Intelligence 2, 3, pp. 227-260.
25. [Kowalski, 1973] Kowalski Robert A., Predicate Logic as Programming Language, memo 70, University of Edimburgh, School of Artificial Intelligence, November 1973. Also in Proceedings of IFIP 1974, North Holland Publishing Company, Amsterdam, pp. 569-574, 1974.
26. [Kowalski, 1974] Kowalski Robert A. and Maarten van Emden, The semantic of predicate logic as programming language, memo 78, University of Edinburgh, School of Artificial Intelligence, 1974. Also in JACM 22, 1976, pp. 733-742.
27. [Kowalski, 1988] Kowalski Robert A., The early history of Logic Programming, CACM vol. 31, no. 1, pp 38-43, 1988.
28. [Loveland, 1984] Loveland, D.W. Automated theorem proving: A quarter-century review. Am. Math. Soc. 29, pp. 1-42, 1984.
29. [Luckam, 1971] Luckam D. and N.J. Nilson, Extracting information from resolution proof trees, Artificial Intelligence 12, 1, pp. 27-54, 1971.
30. [Meloni, 1975] Meloni Henry, Mise en oeuvre des contraintes phonologiques, syntaxiques et semantiques dans un systeme de comprehension automatique de la parole, these de 3eme cycle, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, June 1975.
31. [Moore, 1974] Moore, Jay, Computational Logic : Structure sharing and proof of program properties, part I and II, memo 67, University of Edinburgh, School of Artificial Intelligence, 1974.
32. [Pasero, 1973] Pasero Robert, Representation du fran<;ais en logique du premier ordre en vue de dialoguer avec un ordinateur, these de 3eme cycle, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix- Marseille II, France, May 1973.
33. [Pereira, 1980] Pereira Fernando C. and David H.D. Warren, Definite clause grammars for language analysis, Artificial Intelligencec. 13, pp. 231-278, 1980.
34. [Roussel, 1972] Roussel Philippe, Definition et traiterncnt dc I'egnlitc formelle en demonstration automatique, thdse de 3i£me cycle, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, May 1972.
35. [Roussel, 1975] Prolog, manuel de reference et d'utilisation, Groupe Intelligence Artificielle, Faculty des Sciences de Luminy, University Aix-Marseille II, France, September 1975.
36. [Robinson, 1965] Robinson J.A., A machine-oriented logic based on the resolution principle, J. ACM 12, 1, pp. 23-41, January 1965.
37. [Taum, 1971] TAUM 71, Annual report, Projet de Traduction Automatique de l'Universite de Montreal, January 1971.
38. [Warren, 1974] Warren David H. D., Warplan A System for Generating Plans, research report, University of Edimburgh, Department of Computational Logic, memo 76, June 1974.
39. [Warren 1977] Warren David H. D Luis M. Pereira and Fernando Pereira, Prolog the language and its implementation, Proceedings of the ACM, Symposium on Artificial Intelligence and Programming Languages, Rochester, N.Y., August 1977.
40. [Wijngardeen, 1968] Wijngardeen van A., B. J. Mailloux, J. E. L Peck and G.H.A. Koster, Final Draft Report on the Algorithmic Language Algol 68, Mnthematish Centrum, Amsterdam, December 1968.