{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:26Z","timestamp":1725456206466},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012882","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"754-755","source":"Crossref","is-referenced-by-count":4,"title":["\u03bbProlog: An extended logic programming language"],"prefix":"10.1007","author":[{"given":"Amy","family":"Felty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elsa","family":"Gunter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Hannan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dale","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gopalan","family":"Nadathur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"63_CR1","doi-asserted-by":"crossref","unstructured":"A. Felty and D. Miller, Specifying Theorem Provers in a Higher-Order Logic Programming Language. Ninth International Conference on Automated Deduction, 23\u201326 May 1988, Argonne Ill.","DOI":"10.1007\/BFb0012823"},{"key":"63_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G. P. Huet","year":"1975","unstructured":"G. P. Huet, A Unification Algorithm for Typed \u03bb-Calculus. Theoretical Computer Science 1, 1975, 27\u201357.","journal-title":"Theoretical Computer Science"},{"key":"63_CR3","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00264598","volume":"11","author":"G. P. Huet","year":"1978","unstructured":"G. P. Huet and B. Lang, Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Informatica 11, (1978), 31\u201355.","journal-title":"Acta Informatica"},{"key":"63_CR4","unstructured":"D. Miller, A Logical Analysis of Modules for Logic Programming. To appear in the Journal of Logic Programming."},{"key":"63_CR5","doi-asserted-by":"crossref","unstructured":"D. Miller and G. Nadathur, Some Uses of Higher-Order Logic in Computational Linguistics. Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, 1986, 247\u2013255.","DOI":"10.3115\/981131.981165"},{"key":"63_CR6","doi-asserted-by":"crossref","unstructured":"D. Miller and G. Nadathur, Higher-Order Logic Programming. Proceedings of the Third International Logic Programming Conference, London, June 1986, 448\u2013462.","DOI":"10.1007\/3-540-16492-8_94"},{"key":"63_CR7","unstructured":"D. Miller and G. Nadathur, A Logic Programming Approach to Manipulating Formulas and Programs. IEEE Symposium on Logic Programming, San Francisco, September 1987."},{"key":"63_CR8","unstructured":"D. Miller, G. Nadathur, and A. Scedrov, Hereditary Harrop Formulas and Uniform Proofs Systems. Second Annual Symposium on Logic in Computer Science, Cornell University, June 1987, 98\u2013105."},{"key":"63_CR9","unstructured":"G. Nadathur, A Higher-Order Logic as the Basis for Logic Programming. Ph.D. Dissertation, University of Pennsylvania, May 1987."}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012882.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:06:50Z","timestamp":1607353610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012882"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0012882","relation":{},"subject":[]}}