{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:53Z","timestamp":1725664733093},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:09:45Z","timestamp":1330290585000},"page":"255-271","source":"Crossref","is-referenced-by-count":1,"title":["A declarative semantics for the Prolog cut operator"],"prefix":"10.1007","author":[{"given":"Karl","family":"Stroetmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Gla\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"18_CR1","unstructured":"Krzysztof R. Apt and Sandro Etalle. On the unification free Prolog programs. In S. Sokolowski, editor, Proceedings of the Conference on Mathematical Foundations of Computer Science (MFCS '93), Lecture Notes in Computer Science. Springer Verlag, 1993. Available at: http:\/\/www.cwi.nl\/cwi\/publications\/index.html."},{"key":"18_CR2","unstructured":"James Andrews. The logical semantics of the prolog cut. In John W. Lloyd, editor, International Logic Programming Symposium '95. MIT, 1995."},{"key":"18_CR3","unstructured":"Krzysztof R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, chapter 10, pages 495\u2013574. Elsevier, 1990."},{"key":"18_CR4","unstructured":"Krzysztof R. Apt, editor. Logic Programming. The MIT Press, 1992."},{"key":"18_CR5","volume-title":"Apt. Declarative programming in Prolog","author":"R. Krzysztof","year":"1993","unstructured":"Krzysztof R. Apt. Declarative programming in Prolog. In D. Miller, editor, Proceedings of International Logic Programming Symposium (ILPS '93), Cambridge, Mass.\/London, 1993. The MIT Press. Available at: http:\/\/www.cwi.nl\/cwi\/publications\/index.html."},{"issue":"3","key":"18_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1093\/logcom\/4.3.217","volume":"4","author":"L. Bachmair","year":"1994","unstructured":"L. Bachmair and H. Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):217\u2013247, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"18_CR7","unstructured":"Fran\u00e7ois Bronsard, T. K. Lakshman, and Uday S. Reddy. A framework of directionality for proving termination of logic programs. In Apt [Apt92], pages 321\u2013335."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger. A logical operational semantics of full Prolog, part I: Selection core and control. In E. B\u00f6rger, H. Kleine B\u00fcning, and M. M. Richter, editors, Computer Science Logic CSL '89, pages 36\u201364. Springer-Verlag, Lecture Notes in Computer Science 440, 1989.","DOI":"10.1007\/3-540-52753-2_31"},{"key":"18_CR9","first-page":"836","volume-title":"LNAI 814","author":"A. Bouhoula","year":"1994","unstructured":"Adel Bouhoula. SPIKE: a system for sufficient completeness and parameterized inductive proofs. In Alan Bundy, editor, Twelfth International Conference on Automated Deduction, LNAI 814, pages 836\u2013840, Nancy, France, 1994. Springer-Verlag."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Adel Bouhoula and Micha\u00ebl Rusinowitch. Implicit induction in conditional theories. Journal of Automated Reasoning, 1995.","DOI":"10.1007\/BF00881856"},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"A. de Bruin and E.P. de Vink. Continuation semantics for Prolog with cut. In Theory and practice of software engineering, volume 351 of Lecture Notes in Computer Science, pages 178\u2013192. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50939-9_132"},{"key":"18_CR13","unstructured":"P. Dembinski and J. Maluszynski. And-parallelism with intelligent back-tracking for annotated logic programs. In Proceedings of the International Symposium on Logic Programming, 1985."},{"key":"18_CR14","unstructured":"Fergus Henderson, Zoltan Somogyi, and Thomas Conway. Determinism analysis in the mercury compiler. In Proceedings of the Australian Computer Science Conference, 1996. Available at: http:\/\/www.cs.mu.oz.au\/\u223czs\/mercury\/papers.html."},{"key":"18_CR15","unstructured":"N. D. Jones and A. Mycroft. Stepwise development of operational and denotational semantics for prolog. In 1984 International Symposium on Logic Programming, pages 281\u2013288. IEEE, 1984."},{"key":"18_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, second edition, 1987.","edition":"second edition"},{"key":"18_CR17","first-page":"587","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.-L. Lassez","year":"1987","unstructured":"J.-L. Lassez and M. J. Maher. Unification revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 587\u2013625. Morgan Kaufmann, Los Altos, 1987."},{"key":"18_CR18","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Alan Mycroft and Richard A. O'Keefe. A polymorphic type system for Prolog. Artificial Intelligence, 23:295\u2013307, 1984.","journal-title":"Artificial Intelligence"},{"key":"18_CR19","unstructured":"Martin M\u00fcller. Automatisierbare Terminierungsnachweise von Prolog-Programmen. Master's thesis, Universit\u00e4t Marburg, 1995. Available at: http:\/\/www.mathematik.uni-marburg.de\/\u223cmueller\/termnach.ps."},{"key":"18_CR20","first-page":"449","volume-title":"Operational semantics of constraint logic programs with coroutining","author":"A. Podelski","year":"1995","unstructured":"Andreas Podelski and Gert Smolka. Operational semantics of constraint logic programs with coroutining. In Leon Sterling, editor, Proceedings of the 1995 International Conference on Logic Programming, pages 449\u2013463, Kanagawa, Japan, 13\u201318 June 1995. The MIT Press."},{"key":"18_CR21","unstructured":"Karl Stroetmann and Thomas Gla\u00df. Augmented prolog \u2014 An evolutionary approach. In Donald A. Smith, Olivier Ridoux, and Peter Van Roy, editors, Proceedings of the Workshop Visions for the Future of Logic Programming: Laying the Foundations for a Modern Successor to Prolog, pages 59\u201370, 1995. The Proceedings of this workshop are available at: ftp:\/\/ps-ftp.dfki.uni-sb.de\/pub\/ILPS95-FutureLP\/."},{"key":"18_CR22","unstructured":"Zoltan Somogyi, Fergus Henderson, and Thomas Conway. Logic programming for the real world. In Donald A. Smith, Olivier Ridoux, and Peter Van Roy, editors, Proceedings of the Workshop Visions for the Future of Logic Programming: Laying the Foundations for a Modern Successor to Prolog, pages 83\u201394, 1995. The Proceedings of this workshop are available at: ftp:\/\/ps-ftp.dfki.uni-sb.de\/pub\/ILPS95-FutureLP\/."},{"key":"18_CR23","unstructured":"Robert F. St\u00e4rk. Formal methods for logic programming systems. Technical report, Department of Mathematics, Stanford University, 1995. Available at: http:\/\/www-leland.stanford.edu\/\u223cstaerk\/list.html."},{"key":"18_CR24","unstructured":"Robert F. St\u00e4rk. Total correctness of pure Prolog programs: A formal approach. In Roy Dyckhoff, Heinrich Herre, and Peter Schroeder-Heister, editors, Fifth International Workshop on Extensions of Logic Programming (ELP '96), Lecture Notes in Computer Science. Springer-Verlag, 1996."},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Karl Stroetmann. Seduct \u2014 a proof compiler for first order logic. In Manfred Broy and Stefan J\u00e4nichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, volume 1009 of Lecture Notes in Computer Science. Springer Verlag, 1995.","DOI":"10.1007\/BFb0015469"},{"key":"18_CR26","unstructured":"Paul J. Voda. The logical reconstruction of cuts as one solution operators. In John W. Lloyd, editor, Proceedings of the Workshop on Meta-programming in Logic Programming, pages 379\u2013384. 1988."}],"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-60983-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:22Z","timestamp":1605647002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}