{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T20:31:38Z","timestamp":1768336298908,"version":"3.49.0"},"reference-count":15,"publisher":"MathDoc\/Centre Mersenne","issue":"2-3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.5802\/roia.69fr","type":"journal-article","created":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T12:21:38Z","timestamp":1727353298000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["Introduction (FR)"],"prefix":"10.5802","volume":"5","author":[{"given":"Odile","family":"Papini","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Risch","sequence":"additional","affiliation":[]}],"member":"3842","published-online":{"date-parts":[[2024,9,26]]},"reference":[{"key":"key2025101714495440355_1","author":"Benhamou, F.","year":"1996","unstructured":"[1] Benhamou, F.; Bouvier, P.; Colmerauer, A.; Garetta, H.; Giletta, B.; Massat, J. L.; Narboni, G. A.; N\u2019Dong, S.; Pasero, R.; Pique, J. F.; Toura\u00efvane; Van Caneghem, M.; V\u00e9tillard, E. Le manuel de Prolog IV, PrologIA, Marseille, 1996","journal-title":"Le manuel de Prolog IV"},{"issue":"1\/2","key":"key2025101714495440355_2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1023\/A:1009870418160","article-title":"Optimal Narrowing of a Block of Sortings in Optimal Time","volume":"5","author":"Bleuzen-Guernalec, No\u00eblle","year":"2000","unstructured":"[2] Bleuzen-Guernalec, No\u00eblle; Colmerauer, A. Optimal Narrowing of a Block of Sortings in Optimal Time, Constraints An Int. J., Volume 5 (2000) no. 1\/2, pp. 85-118","journal-title":"Constraints An Int. J."},{"key":"key2025101714495440355_3","unstructured":"[3] Colmerauer, A. (Site personnel, https:\/\/linproxy.fan.workers.dev:443\/http\/alain.colmerauer.free.fr)"},{"key":"key2025101714495440355_4","first-page":"45","article-title":"An Interesting Subset of Natural Language","author":"Colmerauer, A.","year":"1982","unstructured":"[4] Colmerauer, A. An Interesting Subset of Natural Language, Logic Programming (Clark, K. L.; Tarnlund, S. A., eds.), Academic Press, 1982, pp. 45-66","journal-title":"Logic Programming"},{"issue":"12","key":"key2025101714495440355_5","doi-asserted-by":"publisher","first-page":"1296","DOI":"10.1145\/214956.214958","article-title":"Prolog in 10 Figures","volume":"28","author":"Colmerauer, A.","year":"1985","unstructured":"[5] Colmerauer, A. Prolog in 10 Figures, Comm. ACM, Volume 28 (1985) no. 12, pp. 1296-1310","journal-title":"Comm. ACM"},{"issue":"7","key":"key2025101714495440355_6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","article-title":"An Introduction to Prolog III","volume":"33","author":"Colmerauer, A.","year":"1990","unstructured":"[6] Colmerauer, A. An Introduction to Prolog III, Commun. ACM, Volume 33 (1990) no. 7, pp. 69-90","journal-title":"Commun. ACM"},{"key":"key2025101714495440355_7","first-page":"105","article-title":"Les syst\u00e8mes Q ou un formalisme pour analyser et synth\u00e8tiser des phrases sur ordinateur","volume":"33","author":"Colmerauer, A.","year":"1992","unstructured":"[7] Colmerauer, A. Les syst\u00e8mes Q ou un formalisme pour analyser et synth\u00e8tiser des phrases sur ordinateur, TAL, Volume 33 (1992), pp. 105-148 https:\/\/linproxy.fan.workers.dev:443\/https\/api.semanticscholar.org\/CorpusID:170632988","journal-title":"TAL"},{"key":"key2025101714495440355_8","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45470-5_2","article-title":"Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees","volume":"2385","author":"Colmerauer, A.","year":"2002","unstructured":"[8] Colmerauer, A. Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees, Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International * Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings (Calmet, Jacques; Benhamou, Belaid; Caprotti, Olga; Henocque, Laurent; Sorge, Volker, eds.) (Lecture Notes in Computer Science), Volume 2385, Springer (2002), pp. 2-3","journal-title":"Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International * Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings"},{"key":"key2025101714495440355_9","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-31834-7_2","article-title":"On the Complexity of Universal Programs","volume":"3354","author":"Colmerauer, A.","year":"2004","unstructured":"[9] Colmerauer, A. On the Complexity of Universal Programs, Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Margenstern, Maurice, ed.) (Lecture Notes in Computer Science), Volume 3354, Springer (2004), pp. 18-35","journal-title":"Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers"},{"key":"key2025101714495440355_10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85958-1_1","article-title":"Back to the Complexity of Universal Programs","volume":"5202","author":"Colmerauer, A.","year":"2008","unstructured":"[10] Colmerauer, A. Back to the Complexity of Universal Programs, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings (Stuckey, Peter J., ed.) (Lecture Notes in Computer Science), Volume 5202, Springer (2008), pp. 1-20","journal-title":"Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings"},{"key":"key2025101714495440355_11","author":"Colmerauer, A.","year":"Octobre 1972","unstructured":"[11] Colmerauer, A.; Kanoui, H.; Pasero, R.; Roussel, P. Un syst\u00e8me de communication en fran\u00e7ais (Octobre 1972) (https:\/\/linproxy.fan.workers.dev:443\/http\/alain.colmerauer.free.fr\/) (Rapport pr\u00e9liminaire de fin de contrat IRIA)","journal-title":"Un syst\u00e8me de communication en fran\u00e7ais"},{"key":"key2025101714495440355_12","first-page":"37","article-title":"The Birth of Prolog","author":"Colmerauer, A.","year":"1993","unstructured":"[12] Colmerauer, A.; Roussel, P. The Birth of Prolog, History of Programming Languages Conference (HOPL-II) (Lee, John A. N.; Sammet, Jean E., eds.), ACM, 1993, pp. 37-52 (Preprints, Cambridge, Massachusetts, USA, April 20-23, 1993)","journal-title":"History of Programming Languages Conference (HOPL-II)"},{"key":"key2025101714495440355_13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511819346","author":"Nilsson, N. J.","year":"2010","unstructured":"[13] Nilsson, N. J. The quest for artificial intelligence\u00a0: a history of ideas and achievements, Cambridge University Press, 2010","journal-title":"The quest for artificial intelligence\u00a0: a history of ideas and achievements"},{"key":"key2025101714495440355_14","first-page":"4","article-title":"Hommage \u00e0 Alain Colmerauer","volume":"97","author":"Risch, V.","year":"2019","unstructured":"[14] Risch, V. Hommage \u00e0 Alain Colmerauer, Bulletin de l\u2019AFIA, Volume 97 (2019), p. 4 (https:\/\/linproxy.fan.workers.dev:443\/https\/afia.asso.fr\/wp-content\/uploads\/2019\/05\/97_jui17.pdf)","journal-title":"Bulletin de l\u2019AFIA"},{"issue":"1-2","key":"key2025101714495440355_15","first-page":"1","article-title":"Num\u00e9ro Sp\u00e9cial en hommage \u00e0 Jacques Pitrat","volume":"3","year":"2022","unstructured":"[15]  Num\u00e9ro Sp\u00e9cial en hommage \u00e0 Jacques Pitrat, Revue Ouverte d\u2019Intelligence Artificielle, Volume 3 (2022) no. 1-2, pp. 1-18","journal-title":"Revue Ouverte d\u2019Intelligence Artificielle"}],"container-title":["Revue Ouverte d'Intelligence Artificielle"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/roia.centre-mersenne.org\/item\/10.5802\/roia.69fr.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T12:50:01Z","timestamp":1760705401000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/roia.centre-mersenne.org\/articles\/10.5802\/roia.69fr\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,26]]},"references-count":15,"journal-issue":{"issue":"2-3","published-online":{"date-parts":[[2024]]}},"alternative-id":["10.5802\/roia.69fr"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.5802\/roia.69fr","relation":{},"ISSN":["2967-9672"],"issn-type":[{"value":"2967-9672","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,26]]}}}