{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:33:35Z","timestamp":1757781215616},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240877"},{"type":"electronic","value":"9783540305026"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30502-6_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T22:22:20Z","timestamp":1294438940000},"page":"93-108","source":"Crossref","is-referenced-by-count":3,"title":["Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Cabeza","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]},{"given":"James","family":"Lipton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Miller, D., Nadathur, G., Pfenning, F., Scedrov, A.: Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic\u00a051, 125\u2013157 (1991)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1145\/96559.96570","volume":"37","author":"G. Nadathur","year":"1990","unstructured":"Nadathur, G., Miller, D.: Higher-order horn clauses. Journal of the ACM\u00a037, 777\u2013814 (1990)","journal-title":"Journal of the ACM"},{"key":"7_CR3","unstructured":"Miller, D.: \u03bbprolog: an introduction to the language and its logic (2002), Manuscript available at \n                    \n                      http:\/\/www.cse.psu.edu\/~dale"},{"key":"7_CR4","unstructured":"Chen, W., Kifer, M., Warren, D.S.: Hilog: JuneA Foundation for Higher-Order Logic Programming. Journal of Logic Programming (1989)"},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics.","author":"M. Beeson","year":"1985","unstructured":"Beeson, M.: Foundations of Constructive Mathematics. Springer, Heidelberg (1985)"},{"key":"7_CR6","volume-title":"Category Theory, Homology Theory and their Applications","author":"F.W. Lawvere","year":"1969","unstructured":"Lawvere, F.W.: Diagonal arguments and cartesian-closed categories. In: Category Theory, Homology Theory and their Applications. Springer, Heidelberg (1969)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(90)90165-E","volume":"73","author":"H. Huwig","year":"1990","unstructured":"Huwig, H., Poign\u00e9, A.: A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Categories. Theoretical Computer Science\u00a073, 101\u2013112 (1990)","journal-title":"Theoretical Computer Science"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","volume":"1","author":"D. Miller","year":"1991","unstructured":"Miller, D.: A logic programming language with lambda-abstraction, function variables, and simple unification. Journal of Logic and Computation\u00a01, 497\u2013536 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR9","volume-title":"Combinatory Logic","author":"H.B. Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic. North-Holland, Amsterdam (1958)"},{"key":"7_CR10","unstructured":"Cabeza, D.: An Extensible, Global Analysis Friendly Logic Programming System. PhD thesis, Dept. of Computer Science, Technical University of Madrid, Spain, Madrid, Spain (2004)"},{"key":"7_CR11","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P. (eds.): G.P.: The Ciao System. Reference Manual (v1.10). The ciao system documentation series\u2013TR, School of Computer Science, Technical University of Madrid, UPM (2002), System and on-line version of the manual, available at \n                    \n                      http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/"},{"key":"7_CR12","first-page":"441","volume-title":"Machine Intelligence 10","author":"D.H. Warren","year":"1982","unstructured":"Warren, D.H.: Higher-order extensions to prolog: are they needed? In: Hayes, J., Michie, D., Pao, Y.H. (eds.) Machine Intelligence 10, pp. 441\u2013454. Ellis Horwood Ltd., Chicester (1982)"},{"key":"7_CR13","unstructured":"Naish, L.: Higher-order logic programming. Technical Report 96\/2, Department of Computer Science, University of Melbourne, Melbourne, Australia (1996)"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1109\/LICS.1997.614968","volume-title":"Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science","author":"R. McDowell","year":"1997","unstructured":"McDowell, R., Miller, D.: A logic for reasoning with higher-order abstract syntax. In: Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, p. 434. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"7_CR15","volume-title":"Proceedings of the Second Russian Conference on Logic Programming","author":"D. Miller","year":"1991","unstructured":"Miller, D.: Abstract syntax and logic programming. In: Proceedings of the Second Russian Conference on Logic Programming. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30502-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:45Z","timestamp":1620012345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30502-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240877","9783540305026"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30502-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}