{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:41Z","timestamp":1725663401848},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:56:15Z","timestamp":1330199775000},"page":"317-327","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Prolog to support Prolog programming environments"],"prefix":"10.1007","author":[{"given":"A.","family":"Martelli","sequence":"first","affiliation":[]},{"given":"G. F.","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","unstructured":"J.Bendl, P.Koves, P.Szeredi: The MProlog System; in Proc. of the Logic Programming Workshop, (S-A. Tarlund ed.) Hungary, July 1980."},{"key":"21_CR2","unstructured":"K.A. Bowen and R.A. Kowalski: Amalgamating language and meta-language in logic programming; in Logic Programmino, (K.L. Clark and S-A. Tarlund, Eds), Academic Press, 1982, 153\u2013172."},{"key":"21_CR3","unstructured":"A.Colmerauer: Prolog and Infinite Trees; in Logic Programming, (K.L.Clark and S-A. Tarlund, Eds), Academic Press, 1982."},{"key":"21_CR4","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"W.F. Clocksin and C.S. Mellish: Programming in Prolog, Springer Verlag, Berlin 1981."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"N.Francez et al.: An Environment for Logic Programming; in Proc. of the ACM Sigplan Symp. on Languages Issues in Programming Environments; Seattle, June 1985, 179\u2013190.","DOI":"10.1145\/800225.806839"},{"key":"21_CR6","unstructured":"A.Feuer: Building Libraries in Prolog; AAAI-83, August 1983, pp. 550\u2013552."},{"key":"21_CR7","unstructured":"Kluzniak, Swpakozicw: Prolog for programmers; Academic Press, 1985."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"A.Martelli and U.Montanari: An Efficient Unification Algorithm; ACM TOPLAS, 4,2, April 1982.","DOI":"10.1145\/357162.357169"},{"key":"21_CR9","unstructured":"A.Martelli and G.F.Rossi: Efficient Unification with Infinite Terms in Logic Programming; in Proc. of FGCS84; International Conf. on Fifth Generation Computer Systems, Japan, 1984."},{"key":"21_CR10","unstructured":"A.Martelli and G.F.Rossi: Toward a Prolog Programming Support Environment (in italian); Proc. of the First National Conference on Logic Programming, Genova, March 1986."},{"key":"21_CR11","unstructured":"A.Martelli and G.F.Rossi: On the Semantics of Logic Programming Languages; in Proc of the 3\n                rd\n                Conf. on Logic Programming, London, July 1981."},{"key":"21_CR12","unstructured":"C.S.Mellish: An Alternative to Structure Sharing in the Implementation of a Prolog Interpreter; in Logic Programming, (K.L.Clark and S-A. Tarlund, Eds), Academic Press, 1982, 99\u2013106."},{"key":"21_CR13","unstructured":"A.Martelli and G.F.Rossi: PROSE: a Prolog Support Environment (in italian); Proc. of the Second National Conference on Logic Programming, Turin, May 1987."},{"key":"21_CR14","unstructured":"L.Console and G.F.Rossi: FROG: a Prolog-based system for Prolog-based knowledge representation; in Artificial Intelligence and Information-Control Systems of Robots-87, (I.Plander, ed.), North-Holland, 1987,179\u2013183."},{"key":"21_CR15","unstructured":"C-Prolog User's Manual-Version 1.5; edited by F.Pereira, Technical Rept. 82\/11, Edinburgh Computer Aided Architectural Design, Univ. of Edinburgh, February 1984."},{"key":"21_CR16","unstructured":"A.Martelli and G.F.Rossi: An implementation of unification with infinite terms and its application to logic programming languages; Technical Rept., Dipartimento di Informatica, Univ. di Torino, 1987."},{"key":"21_CR17","unstructured":"F.Fages: Formes canoniques dans les algebres booleennes et applications a la demonstration automatique; These de 3eme Cycle, Universite Paris VI, June 1983."}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:05Z","timestamp":1619558345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}