{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:31:17Z","timestamp":1777498277975,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642642494","type":"print"},{"value":"9783642600852","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_4","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"75-107","source":"Crossref","is-referenced-by-count":5,"title":["Formulas as Programs"],"prefix":"10.1007","author":[{"given":"Krzysztof R.","family":"Apt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Bezem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19-20","author":"KR Apt","year":"1994","unstructured":"K.R. Apt and R. Bol. Logic programming and negation: a survey. Journal of Logic Programming, 19\u201320:9\u201371, 1994.","journal-title":"Journal of Logic Programming"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"K. R. Apt, J. Brunekreef, V. Partington, and A. Schaerf. Alma-0: An imperative language that supports declarative programming. ACM Toplas, 1998. In press. Available via http:\/\/www.cwi.nl\/ ~apt.","DOI":"10.1145\/293677.293679"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(94)90051-5","volume":"18","author":"KR Apt","year":"1994","unstructured":"K. R. Apt and H. C. Doets. A new definition of SLDNF-resolution. Journal of Logic Programming, 18(2):177\u2013190, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"4_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-6423(95)00020-8","volume":"26","author":"KR Apt","year":"1996","unstructured":"K. R. Apt. Arrays, bounded quantification and iteration in logic and constraint logic programming. Science of Computer Programming, 26(1\u20133):133\u2013148, 1996.","journal-title":"Science of Computer Programming"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/3-540-56944-8_39","volume-title":"Logic Programming and Automated Reasoning\u2014Proc. 4th Intl. Conf., LNCS 698","author":"J Barklund","year":"1993","unstructured":"J.Barklundand J.Bevemyr. Prolog with arrays and bounded quantifications. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning\u2014Proc. 4th Intl. Conf., LNCS 698, pages 28\u201339,Berlin, 1993. Springer-Verlag."},{"key":"4_CR6","first-page":"293","volume-title":"Logic and Databases","author":"KL Clark","year":"1978","unstructured":"K.L.Clark.Negation as failure.In H. Gallaire and J. Minker, editors,Logic and Databases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0743-1066(94)90027-2","volume":"19-20","author":"D Schreye De","year":"1994","unstructured":"D. De Schreye and S. Decorte. Termination of logic programs: the never- ending story. Journal of Logic Programming, 19-20:199\u2013260, 1994.","journal-title":"Journal of Logic Programming"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14(2)","author":"J Groenendijk","year":"1991","unstructured":"J. Groenendijk and M. Stokhof. Dynamic predicate logic. Linguistics and philosophy, 14(2):39\u2013101, 1991","journal-title":"Linguistics and philosophy"},{"key":"4_CR9","volume-title":"The G\u00f6del Programming Language","author":"PM Hill","year":"1994","unstructured":"P.MHill and J.WLloyd. The G\u00f6del Programming Language.The MIT Press, 1994."},{"key":"4_CR10","doi-asserted-by":"crossref","DOI":"10.5948\/UPO9780883859384","volume-title":"Ingenuity in Mathematics","author":"R Honsberger","year":"1970","unstructured":"R. Honsberger. Ingenuity in Mathematics. Random House, Inc., New York, 1970."},{"key":"4_CR11","first-page":"111","volume-title":"Constraint Logic Programming. In In POPL\u201987: Proceedings 14th ACM Symposium on Principles of Programming Languages","author":"J Jaffar","year":"1987","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In In POPL\u201987: Proceedings 14th ACM Symposium on Principles of Programming Languages, pages 111\u2013119ACM1987"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37(l-3)","author":"J Jaffar","year":"1998","unstructured":"J. Jaffar, M.J. MaherK. Marriott, and P. Stuckey. The semantics of constraint logic programs. Journal of Logic Programming, 37(l-3):1\u201346, 1998.","journal-title":"Journal of Logic Programming"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37(l-3)","author":"J Jaffar","year":"1998","unstructured":"J. Jaffar, M.J. MaherK. Marriott, and P. Stuckey. The semantics of constraint logic programs. Journal of Logic Programming, 37(l-3):1\u201346, 1998.","journal-title":"Journal of Logic Programming"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0167-6423(96)00021-4","volume":"28(2 & 3)","author":"F Klu\u017aniak","year":"1997","unstructured":"F. Klu\u017aniak and M. Milkowska. Spill: A logic language for writing testable requirements specifications. Science of Computer Programming, 28(2 & 3):193\u2013223, 1997.","journal-title":"Science of Computer Programming"},{"key":"4_CR15","first-page":"569","volume-title":"Predicate logic as a programming language.In Proceedings IFIP\u201974","author":"RA Kowalski","year":"1974","unstructured":"R.A Kowalski.Predicate logic as a programming language.In Proceedings IFIP\u201974, pages 569\u2013574.North-Holland,1974."},{"key":"4_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, second edition, 1987.","edition":"2"},{"key":"4_CR17","volume-title":"Foundations of Disjunctive Logic Programming","author":"J Lobo","year":"1992","unstructured":"J.Lobo, J.Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. The MIT Press, 1992."},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"JW Lloyd","year":"1984","unstructured":"J.WLloyd andR.WTopor. Making Prolog more expressive. Journal of Logic Programming, 1:225\u2013240, 1984.","journal-title":"Journal of Logic Programming"},{"key":"4_CR19","first-page":"101","volume-title":"Principles and Practice of Constraint Programming","author":"K McAloon","year":"1995","unstructured":"K. McAloon and C. Tretkoff. 2LP: Linear programming and logic programming. In P. VanHentenryck and V. Saraswat, editors, Principles and Practice of Constraint Programming, pages 101\u2013116. MIT Press, 1995"},{"key":"4_CR20","volume-title":"Mathematical Logic","author":"JR Shoenfield","year":"1967","unstructured":"J. R. Shoenfield. Mathematical Logic. Addison-Wesley, Reading, Massachusetts, 1967."},{"key":"4_CR21","volume-title":"In Polish. English version appeared in A. Tarski, Logic, semantics, metamathematics: papers from 1923 to 1938","author":"A Tarski","year":"1956","unstructured":"A. Tarski. Poj\u0119cie prawdy w j\u0119zykach nauk dedukcyjnych. Towarzystwo Naukowe Warszawskie, Warszawa 1933,. In Polish. English version appeared in A. Tarski, Logic, semantics, metamathematics: papers from 1923 to 1938,Oxford, Clarendon 1956"},{"key":"4_CR22","volume-title":"Constructivisim in Mathematics. Studies in Logic and the Foundations of Mathematics","author":"AS Troelstra","year":"1988","unstructured":"A.S. Troelstra and D. van Dalen.Constructivisim in Mathematics. Studies in Logic and the Foundations of Mathematics. North-Holland Publ. Co.,. Amsterdam, 1988"},{"key":"4_CR23","series-title":"2nd Russian Conference on Logic Programming,LNCS 592","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/BFb0013043","volume-title":"Logic Programming and Automated Reasoning-Proc","author":"A Voronkov","year":"1992","unstructured":"A. Voronkov.Logic programming with bounded quantifiers. In A. Voronkov, editor, Logic Programming and Automated Reasoning-Proc. 2nd Russian Conference on Logic Programming, LNCS 592, pages 486\u2013514, Berlin, 1992. Springer-Verlag."}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:34:59Z","timestamp":1606253699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_4","relation":{},"ISSN":["1431-0066"],"issn-type":[{"value":"1431-0066","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}