{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:18Z","timestamp":1725663558839},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564546"},{"type":"electronic","value":"9783540475620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56454-3_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:10:38Z","timestamp":1330254638000},"page":"359-393","source":"Crossref","is-referenced-by-count":1,"title":["Implementing a notion of modules in the logic programming language \u03bbProlog"],"prefix":"10.1007","author":[{"given":"Keehang","family":"Kwon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gopalan","family":"Nadathur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Debra Sue","family":"Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56\u201368, 1940.","journal-title":"Journal of Symbolic Logic"},{"key":"18_CR2","unstructured":"Conal Elliott and Frank Pfenning. eLP, a Common Lisp Implementation of \u03bbProlog. Implemented as part of the CMU ERGO project, May 1989."},{"key":"18_CR3","unstructured":"Conal Elliott and Frank Pfenning. A semi-functional implementation of a higher-order logic programming language. In Peter Lee, editor, Topics in Advanced Language Implementation, pages 289\u2013325. MIT Press, 1991."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Elsa L. Gunter. Extensions to logic programming motivated by the construction of a generic theorem prover. In Peter Schroeder-Heister, editor, Extensions of Logic Programming: International Workshop, T\u00fcbingen FRG, December 1989, pages 223\u2013244. Springer-Verlag, 1991. Volume 475 of Lecture Notes in Artificial Intelligence.","DOI":"10.1007\/BFb0038696"},{"key":"18_CR5","unstructured":"J. Roger Hindley and Jonathan P. Seldin. Introduction to Combinatory Logic and Lambda Calculus. Cambridge University Press, 1986."},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G. Huet","year":"1975","unstructured":"G\u00e9rard Huet. A unification algorithm for typed \u03bb-calculus. Theoretical Computer Science, 1:27\u201357, 1975.","journal-title":"Theoretical Computer Science"},{"key":"18_CR7","unstructured":"Keehang Kwon, Gopalan Nadathur, and Debra Sue Wilson. Implementing polymorphic typing in a logic programming language. Submitted, August 1992."},{"key":"18_CR8","first-page":"303","volume-title":"The design of an abstract machine for efficient implementation of contexts in logic programming","author":"E. Lamma","year":"1989","unstructured":"Evelina Lamma, Paola Mello, and Antonio Natali. The design of an abstract machine for efficient implementation of contexts in logic programming. In Sixth International Logic Programming Conference, pages 303\u2013317, Lisbon, Portugal, June 1989. MIT Press."},{"key":"18_CR9","unstructured":"Dale Miller and Gopalan Nadathur. \u03bbProlog version 2.7. Distributed in C-Prolog and Quintus Prolog source code, August 1988."},{"key":"18_CR10","first-page":"268","volume-title":"Lexical scoping as universal quantification","author":"D. Miller","year":"1989","unstructured":"Dale Miller. Lexical scoping as universal quantification. In Sixth International Logic Programming Conference, pages 268\u2013283, Lisbon, Portugal, June 1989. MIT Press."},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"Dale Miller. A logical analysis of modules in logic programming. Journal of Logic Programming, 6:79\u2013108, 1989.","journal-title":"Journal of Logic Programming"},{"key":"18_CR12","unstructured":"Dale Miller. A proposal for modules in \u03bbProlog. In Workshop on the \u03bbProlog Programming Language, Philadelphia, July 1992."},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125\u2013157, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"key":"18_CR14","first-page":"284","volume-title":"Contextual logic programming","author":"L. Monteiro","year":"1989","unstructured":"Luis Monteiro and Ant\u00f3nio Porto. Contextual logic programming. In Sixth International Logic Programming Conference, pages 284\u2013299, Lisbon, Portugal, June 1989. MIT Press."},{"key":"18_CR15","unstructured":"Gopalan Nadathur and Frank Pfenning. The type system of a higher-order logic programming language. In Frank Pfenning, editor, Types in Logic Programming, pages 245\u2013283. MIT Press, 1992."},{"key":"18_CR16","unstructured":"Gopalan Nadathur, Bharat Jayaraman, and Keehang Kwon. Scoping constructs in logic programming: Implementation problems and their solution. Submitted, May 1992."},{"key":"18_CR17","unstructured":"Gopalan Nadathur, Bharat Jayaraman, and Debra Sue Wilson. Implementation considerations for higher-order features. Submitted, November 1992."},{"key":"18_CR18","unstructured":"Gopalan Nadathur. A proof procedure for the logic of hereditary Harrop formulas. To appear in the Journal of Automated Reasoning."},{"key":"18_CR19","unstructured":"Richard O'Keefe. Towards an algebra for constructing logic programs. In 1985 Symposium on Logic Programming, pages 152\u2013160, Boston, 1985."},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0743-1066(92)90042-2","volume":"12","author":"D. T. Sannella","year":"1992","unstructured":"D.T. Sannella and L.A. Wallen. A calculus for the construction of modular Prolog programs. Journal of Logic Programming, 12:147\u2013178, January 1992.","journal-title":"Journal of Logic Programming"},{"key":"18_CR21","unstructured":"D.H.D. Warren. An abstract Prolog instruction set. Technical report, SRI International, October 1983. Technical Note 309."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56454-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:52:48Z","timestamp":1619571168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56454-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564546","9783540475620"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-56454-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}