{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:24:32Z","timestamp":1726406672227},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_84","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:49:11Z","timestamp":1330210151000},"page":"15-26","source":"Crossref","is-referenced-by-count":19,"title":["Adding equations to NU-Prolog"],"prefix":"10.1007","author":[{"given":"Lee","family":"Naish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"2_CR1","unstructured":"P.G. Bosco, C. Cecchi, and C. Moiso. Exploiting the full power of logic plus functional programming. In Kenneth A. Bowen and Robert A. Kowalski, editors, Proceedings of the Fifth International Conference\/Symposium on Logic Programming, pages 3\u201317, Seattle, Washington, August 1988."},{"key":"2_CR2","unstructured":"P.G. Bosco, C. Cecchi, C. Moiso, M. Porta, and G. Sofi. Logic and functional programming on distributed memory architectures. In Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, Israel, June 1990."},{"key":"2_CR3","unstructured":"M.H.M. Cheng, M.H. van Emden, and B.E. Richards. On warren's method for functional programming in logic. In Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, Israel, June 1990."},{"key":"2_CR4","unstructured":"J. Darlington, A.J. Field, and H. Pull. The unification of functional and logic languages. In Doug DeGroot and Gary Lindstrom, editors, Logic programming: relations, functions, and equations, pages 37\u201370. Prentice-Hall, 1985."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Saumya K. Debray and David S. Warren. Detection and optimisation of functional computations in prolog. In Ehud Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, pages 490\u2013504, London, England, July 1986. published as Lecture Notes in Computer Science 225 by Springer-Verlag.","DOI":"10.1007\/3-540-16492-8_97"},{"key":"2_CR6","unstructured":"Laurent Fribourg. SLOG: a logic programming language interpreter based on clausal superposition and rewriting. In Proceedings of the Second IEEE Symposium on Logic Programming, pages 172\u2013184, Boston, Massachusetts, July 1985."},{"key":"2_CR7","unstructured":"Joseph A. Goguen and Jose Meseguer. EQLOG: equality, types, and generic modules for logic programming. In Doug DeGroot and Gary Lindstrom, editors, Logic programming: relations, functions, and equations, pages 295\u2013363. Prentice-Hall, 1985."},{"key":"2_CR8","volume-title":"Parallel logic programming in parlog","author":"S. Gregory","year":"1987","unstructured":"Steve Gregory. Parallel logic programming in parlog. Addison-Wesley, Wokingham, England, 1987."},{"key":"2_CR9","unstructured":"Alan Josephson and Nachum Dershowitz. An implementation of narrowing the RITE way. In Proceedings of the Third IEEE Symposium on Logic Programming, pages 187\u2013197, Salt Lake City, Utah, September 1986."},{"key":"2_CR10","volume-title":"The implementation of functional programming languages","author":"S. P. Jones","year":"1987","unstructured":"S. Peyton Jones. The implementation of functional programming languages. Prentice Hall International series in computer science. Prentice Hall, London, 1987."},{"key":"2_CR11","volume-title":"Negation and control in Prolog","author":"L. Naish","year":"1986","unstructured":"Lee Naish. Negation and control in Prolog. Number 238 in Lecture Notes in Computer Science. Springer-Verlag, New York, 1986."},{"key":"2_CR12","unstructured":"Lee Naish. Parallelizing NU-Prolog. In Kenneth A. Bowen and Robert A. Kowalski, editors, Proceedings of the Fifth International Conference\/Symposium on Logic Programming, pages 1546\u20131564, Seattle, Washington, August 1988."},{"key":"2_CR13","series-title":"Technical Report","volume-title":"Adding equations to NU-prolog","author":"L. Naish","year":"1990","unstructured":"Lee Naish. Adding equations to NU-prolog. Technical Report 91\/2, Department of Computer Science, University of Melbourne, Melbourne, Australia, 1990."},{"issue":"3","key":"2_CR14","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(86)90016-6","volume":"3","author":"S. Narain","year":"1986","unstructured":"Sanjai Narain. A technique for doing lazy evaluation in logic. Journal of Logic Programming, 3(3):259\u2013276, October 1986.","journal-title":"Journal of Logic Programming"},{"key":"2_CR15","volume-title":"LOG(F): An optimal combination of logic programming, rewriting and lazy evaluation","author":"S. Narain","year":"1988","unstructured":"Sanjai Narain. LOG(F): An optimal combination of logic programming, rewriting and lazy evaluation. Ph.d. thesis, Dept. of computer science, UCLA, Los Angeles, CA, 1988."},{"key":"2_CR16","unstructured":"Uday S. Reddy. Narrowing as the operational semantics of functional languages. In Proceedings of the Second IEEE Symposium on Logic Programming, pages 138\u2013151, Boston, Massachusetts, July 1985."},{"key":"2_CR17","unstructured":"Yeh-Heng Sheng. HIFUNLOG: logic programming with higher-order relational functions. In Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, Israel, June 1990."},{"key":"2_CR18","unstructured":"P.A. Subrahmanyam and Jia-Huai You. FUNLOG: a computational model integrating logic programming and functional programming. In Doug DeGroot and Gary Lindstrom, editors, Logic programming: relations, functions, and equations, pages 157\u2013198. Prentice-Hall, 1985."},{"key":"2_CR19","first-page":"441","volume-title":"Machine Intelligence 10","author":"D. H. Warren","year":"1982","unstructured":"David H.D. Warren. Higher-order extensions to prolog: are they needed? In J.E. Hayes, Donald Michie, and Y-H. Pao, editors, Machine Intelligence 10, pages 441\u2013454. Ellis Horwood Ltd., Chicester, England, 1982."},{"key":"2_CR20","series-title":"Tecnical Note","volume-title":"An abstract Prolog instruction set","author":"D. H. Warren","year":"1983","unstructured":"David H.D. Warren. An abstract Prolog instruction set. Tecnical Note 309, SRI International, Menlo Park, California, October 1983."}],"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-54444-5_84.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:37Z","timestamp":1605646477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_84","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}