{"type":"ScholarlyArticle","title":"Last Steps Towards an Ultimate PROLOG","authors":[{"name":"Alain Colmerauer","slug":"alain-colmerauer","given":"Alain","family":"Colmerauer","affiliation":"Groupe d'Intelligence Artificielle Faculte des Sciences de Luminy Universite d'Aix-Marseille II 13288 Marseille Cedex 9 , France"},{"name":"Henry Kanoui","slug":"henry-kanoui","given":"Henry","family":"Kanoui","affiliation":"Groupe d'Intelligence Artificielle Faculte des Sciences de Luminy Universite d'Aix-Marseille II 13288 Marseille Cedex 9 , France"},{"name":"Michel Van Caneghem","slug":"michel-van-caneghem","given":"Michel","family":"Van Caneghem","affiliation":"Groupe d'Intelligence Artificielle Faculte des Sciences de Luminy Universite d'Aix-Marseille II 13288 Marseille Cedex 9 , France"}],"abstract":"A portable version of Prolog, an Artificial Intelligence language, is presented. A complete system has been implemented on a micro-computer using a floppy-disk virtual memory. The general methodology of the implementation is discussed in terms of an abstract machine (Micromegasl supporting a language (Candide) in which the Prolog system is written.","doi":null,"url":"https://ijcai.org/proceedings/1981/180","pdf":"https://ijcai.org/proceedings/1981/0180.pdf","markdown":"https://ijcai.org/proceedings/1981/180.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/180","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Programming Environments","track":"Programming Environments","number":180,"pages":{"first":947,"last":947},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Battani G. and Meloni H., \"Interprct cur du langago de pror;rammatlon Pro log\", int.uiTi<ll rBpnrt, Cro•JPP d'lntelligencu flr• t.:ifi~:i,;ll~:. UniversitL~ Aix-M.lrsei llfl II. Sn ptemller• 1!1/:l.","title":"Interprct cur du langago de pror;rammatlon Pro log","authors":"G Battani, H Meloni","year":null,"venue":"UniversitL~ Aix-M.lrsei llfl II. Sn ptemller","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Colmerauer A., Kanoui H •• Pasero R. and Roussel Ph .. \"Un systems de communic,lli on homme-machine en fran,.ais\", internnl n'port, Groupe u'Intelli~ence Artificiell o, UniversitA Aix -Mnrsoil lo II, June 1A7 3.","title":"Un systems de communic,lli on homme-machine en fran,.ais\", internnl n'port","authors":"A Colmerauer, H •• Kanoui, R Pasero, Roussel Ph","year":null,"venue":"Groupe u'Intelli~ence Artificiell o, UniversitA Aix -Mnrsoil lo II","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Colmurauer A., \"Me tamorphooi s l>rarnrrlilr!>\", Natural languup,e communication with crHIIjlllt.r:J• Spri ng er Ver Llf',, 1 !l7fl.","title":"Natural languup,e communication with crHIIjlllt.r:J• Spri ng er Ver Llf","authors":"A Colmurauer","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Colmerauer A .. Kanoui H., and Van Cano!';hOm M., \"Etude et rAalisation d'un systAme Prolog\", Internal report, Groupe d'Intelligence flrti- ficielle. Univ e r sitA Aix-Marseille Il. M a y 197Q.","title":"Internal report, Groupe d'Intelligence flrtificielle","authors":"A . Colmerauer, H Kanoui, M Van Cano!';Hom","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Colmerauer A .• \"Prolor; and infinite trees\", to appear in Logic Programming Workshop 1 (K. Clark and S .fl. Tarnlund, ods).","title":"Prolor; and infinite trees","authors":"A Colmerauer","year":null,"venue":"Logic Programming Workshop","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Kowalski R. and Van Emden M., \"The semantics of pr•edicate logic as a programming language\". Journal of the ACM, 23:4, October 1~76, 733-742.","title":"The semantics of pr•edicate logic as a programming language","authors":"R Kowalski, M Van Emden","year":null,"venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Kanoui H. and Van Caneghem M .• \"Implementing a very hir;h level language on a very low cost computer\". in proc. IFIP 80, October 1980, 349-354.","title":"Implementing a very hir;h level language on a very low cost computer","authors":"H Kanoui, M Van Caneghem","year":"1980","venue":"proc. IFIP 80","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Kowalski R .• \"Lor;ic for probl em solving\", North Holland, 197!1.","title":"Lor;ic for probl em solving","authors":"R Kowalski","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Me Oermott.Th e Prolog phenomenon, Sip,art Newsl ette r, n. 77 , July 1980, 16-70.","title":"Th e Prolog phenomenon","authors":"Me Oermott","year":"1980","venue":"Sip,art Newsl ette r","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"Roussel Ph., \"Manuel ~•utilisation Prolo~•. internal report, Groupe d'IntellignncR Arti- ficielle, UnivuruitA flix-Mars eil lu II. September 1976.","title":"Manuel ~•utilisation Prolo~•. internal report","authors":null,"year":"1976","venue":"Groupe d'IntellignncR Artificielle, UnivuruitA flix-Mars eil lu","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"Comments on Prolog, Siga rt Newslett er, n. 73. October 1980, 18-25 .","title":"Comments on Prolog, Siga rt Newslett er","authors":null,"year":"1980","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}