The birth of Prolog-Reference-Cited by-同舟云学术

The birth of Prolog

Published:1996-01 Issue: Volume: Page:331-367
ISSN:
Container-title:History of programming languages---II
language:
Short-container-title:

Author:

Colmerauer Alain¹,Roussel Philippe²

Affiliation:

1. Faculté des Sciences de Luminy, France

2. Université de Nice-Sophia Antipolis, CNRS, Valbonne, France

Publisher

ACM

Reference40 articles.

1. Université Aix-Marseille II France Université Aix-Marseille II Battani Gérard Interpréter du langage PROLOG DEA. report Groupe Intelligence Artificielle Faculté des Sciences de Luminy 1973

2. {Battani 1975} Battani Gérard Mise en oeuvre des contraintes phonologiques syntaxiques et sémantiques dans un système de compréhension automatique de la parole 3ème cycle thesis Groupe Intelligence Artificielle Faculté des Sciences de Luminy Université Aix-Marseille II France June 1975. {Battani 1975} Battani Gérard Mise en oeuvre des contraintes phonologiques syntaxiques et sémantiques dans un système de compréhension automatique de la parole 3ème cycle thesis Groupe Intelligence Artificielle Faculté des Sciences de Luminy Université Aix-Marseille II France June 1975.

3. Third International Colloquium on Advanced Computing Methods in Theoretical Physics Marseilles France Third International Colloquium on Advanced Computing Methods in Theoretical Physics Bergman Marc Application of mechanical theorem proving to symbolic calculus 1973

4. Université Aix-Marseille II France Université Aix-Marseille II Bergman Résolution par la démonstration automatique de quelques problèmes en intégration symbolique sur calculateur 3ème cyle thesis Groupe Intelligence Artificielle Faculté des Sciences de Luminy 1973

5. Université Aix-Marseille II France Université Aix-Marseille II Bergman Marc système de calcul formel sur ordinateur final report for a DRET contract (Direction des Recherches et Etudes Techniques) Groupe Intelligence Artificielle Faculté des Sciences de Luminy 1975

Cited by 48 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extending Jupyter with Multi-Paradigm Editors;Proceedings of the ACM on Human-Computer Interaction;2024-06-17

2. Artificial Intelligence and Quantum Computing;Springer Texts in Business and Economics;2024

3. Artificial Intelligence und Quantum Computing;Digital Business;2024

4. Natural Language Processing for Clinical Quality Measures;2023 IEEE 36th International Symposium on Computer-Based Medical Systems (CBMS);2023-06

5. How Well Students Perceive Their Understanding of Logic Programming Course Content?;2023 46th MIPRO ICT and Electronics Convention (MIPRO);2023-05-22