{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:33Z","timestamp":1725664293418},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:54:08Z","timestamp":1330271648000},"page":"451-452","source":"Crossref","is-referenced-by-count":0,"title":["A system to visualize and interact with prolog programs"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Paulo","family":"Leal","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"33_CR1","first-page":"557","volume":"8","author":"R. Balk","year":"1986","unstructured":"R. Balk, G. Snelting, The PSG System: \u00bf From Formal language Definitions to Interactive Programming Environments, ACM Transactions on Programming languages and Systems, Vol. 8, In 4, (1986:10), 557\u2013608.","journal-title":"ACM Transactions on Programming languages and Systems"},{"key":"33_CR2","unstructured":"A. Jorge, Using EDIPO, Centro de Inform\u00e1tica, Universidade do Porto, 1990."},{"key":"33_CR3","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/6465.6512","volume":"8","author":"S. Horwitz","year":"1986","unstructured":"S. Horwitz, T. Teitelbaum, Generating Editing Environments Based on Relations And Attributes ACM Transactions on Programming languages and Systems, Vol. 8, In 4, (1986:10), 557\u2013608.","journal-title":"ACM Transactions on Programming languages and Systems"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"C. Hogger, Essentials of Logic Programming, Graduate Texts in Computer Science, Oxford University Press, 1990.","DOI":"10.1093\/oso\/9780198538202.001.0001"},{"issue":"No3","key":"33_CR5","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/117009.117012","volume":"13","author":"S. E. Hudson","year":"1991","unstructured":"S. E. Hudson, Incremental Attribute Evaluation: The Flexible Algorithm for Lazy Update ACM Transactions on Programming languages and Systems, Vol. 13, No3, July 1991, 315\u2013341.","journal-title":"ACM Transactions on Programming languages and Systems"},{"key":"33_CR6","unstructured":"J. P. Leal, The Ytoolkit: the Prolog approach to an users interface, ICLP Preconference Workshop on Logic Programming Environments, Eilat, Israel, 1990."},{"key":"33_CR7","unstructured":"J. P. Leal, An History Based Interface, ICLP Preconference Workshop on Logic Programming Environments, Paris, 1991."},{"key":"33_CR8","unstructured":"J. P. Leal, J. P. Santos, Towards the portable interface for Prolog applications \u2014 Reference Manual \u2014 X-Windows Interface, Centro de Inform\u00e1tica da Universidade do Porto."},{"key":"33_CR9","unstructured":"J. Maluszy\u0144ky, Attribute Grammars and Logic Programs: A Comparison of Concepts Lecture Notes in Computer Science, 545, Springer Verlag."},{"key":"33_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1991","unstructured":"E. Yardeni, E. Shapiro, The Type system for Logic Programs Journal of Logic Programming, (1991:10), 125\u2013153.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:58:31Z","timestamp":1713628711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}