{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:39Z","timestamp":1725663459498},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:40:20Z","timestamp":1330177220000},"page":"262-273","source":"Crossref","is-referenced-by-count":2,"title":["A classical implementation for Prolog-II"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Biozumault","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Boizumault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"20_CR1","unstructured":"Boizumault P., Sur la transformation de l'appel terminal en it\u00e9ration dans un interpr\u00e8te Prolog, 2ndes journ\u00e9es Prolog du CNET, M. Dincbas \u00e9diteur, (1983)."},{"key":"20_CR2","unstructured":"Boizumault P., Etude de l'interpr\u00e9tation de Prolog R\u00e9alisation en Lisp Th\u00e8se de 3\u00e8me cycle, Univ. Paris VI, (1985)."},{"key":"20_CR3","unstructured":"Bowen D.L., Byrd L.M., Clocksin W.F., A portable Prolog compiler, Logic Programming Workshop'83, (1983)."},{"key":"20_CR4","unstructured":"Bruynooghe M., An interpreter for predicate logic programs, Report CW10, Katholieke Universiteit Leuven, (1976)."},{"key":"20_CR5","unstructured":"Bruynooghe M., The memory management of Prolog implementations, Proc. Logic Programming Workshop, Debrecen, (1980)."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Clocksin W.F., Design and simulation of a Prolog sequential machine, New Generation Computing, vol 3, no1, (1985).","DOI":"10.1007\/BF03037117"},{"key":"20_CR7","unstructured":"Colmerauer A., Prolog-II: Manuel de r\u00e9f\u00e9rence et mod\u00e8le th\u00e9orique, G.I.A., Univ. Aix-Marseille, (1982)."},{"key":"20_CR8","unstructured":"Colmerauer A., Kanoui H., Van Caneghem M., Prolog bases th\u00e9oriques et d\u00e9veloppements actuels, TSI vol 2 no4, (1983)."},{"key":"20_CR9","unstructured":"Greussay P., Contribution \u00e0 la d\u00e9finition interpr\u00e9tative et \u00e0 l'impl\u00e9mentation des Lamda-langages, Th\u00e8se, Univ. Paris VII, (1977)."},{"key":"20_CR10","unstructured":"Greussay P, Le syst\u00e8me Vlisp, Documentation en ligne, Greco de Programmation, (1982)."},{"key":"20_CR11","unstructured":"Kanoui H., Manuel d'exemples de Prolog-II, G.I.A., Univ. Aix-Marseille (1982)."},{"key":"20_CR12","unstructured":"Mac Cabe F.G., Micro-Prolog programmer's reference manual, Logic Programming Associates Ltd, (1981)."},{"key":"20_CR13","unstructured":"Mellish C.S., An alternative to structure-sharing in the implementation of a prolog interpreter, Proc. Logic Programming Workshop, (1980)."},{"key":"20_CR14","unstructured":"Van Caneghem M., Manuel d'utilisation de Prolog-II, G.I.A., Universit\u00e9 Aix-Marseille, (1982)."},{"key":"20_CR15","unstructured":"Van Caneghem M., L'anatomie de Prolog-II, Th\u00e8se, Univ. Aix-Marseille, (1984)."},{"key":"20_CR16","unstructured":"Warren D.H.D., Implementing Prolog, D.A.I. research reports 39\/40, Univ. Edinburgh, (1977)."},{"key":"20_CR17","unstructured":"Warren D.H.D., An improved Prolog implementation which optimizes tail recursion, Proc. Logic Programming Workshop, Debrecen, (1980)."},{"key":"20_CR18","unstructured":"Warren D.H.D., An abstract Prolog instruction set, Technical note 309, S.R.I. International, (1983)."}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:03:34Z","timestamp":1619543014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}