{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:46:38Z","timestamp":1742636798122},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_2","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"11-22","source":"Crossref","is-referenced-by-count":3,"title":["Logic Programming in the 1970s"],"prefix":"10.1007","author":[{"given":"Robert","family":"Kowalski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R., van Emden, M.: Contributions to the Theory of Declarative Knowledge. JACM\u00a029(3), 841\u2013862 (1982)","journal-title":"JACM"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation by Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum Press (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"2_CR3","unstructured":"Clark, K.L., T\u00e4rnlund, S.-A.: A First-order Theory of Data and Programs. In: Proceedings of the IFIP Congress 1977, pp. 939\u2013944 (1977)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/35043.35045","volume":"31","author":"J. Cohen","year":"1988","unstructured":"Cohen, J.: A View of the Origins and Development of Prolog. CACM\u00a031, 26\u201336 (1988)","journal-title":"CACM"},{"key":"2_CR5","unstructured":"Colmerauer, A.: Les Syst\u00e8mes Q ou un Formalisme pour Analyser et Synth\u00e9tiser des Phrases sur Ordinateur. Mimeo, Montr\u00e9al (1969)"},{"key":"2_CR6","unstructured":"Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un Systeme de Communication Homme-Machine en Francais. Research report, Groupe d\u2019Intelligence Artificielle, Universite d\u2019Aix-Marseille II, Luminy (1973)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., Roussel, P.: The Birth of Prolog. In: Bergin, T.J., Gibson, R.G. (eds.) History of Programming Languages, pp. 331\u2013367. ACM Press and Addison Wesley (1996)","DOI":"10.1145\/234286.1057820"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.: Tabled Evaluation with Delaying for General Logic Programs. JACM\u00a043, 20\u201374 (1996)","journal-title":"JACM"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0004-3702(80)90013-2","volume":"13","author":"M. Davis","year":"1980","unstructured":"Davis, M.: The Mathematics of Non-monotonic Reasoning. Artificial Intelligence\u00a013(1), 73\u201380 (1980)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(90)90030-9","volume":"9","author":"E.W. Elcock","year":"1990","unstructured":"Elcock, E.W.: Absys: The First Logic Programming Language\u2014a Retrospective and a Commentary. Journal of Logic Programming\u00a09(1), 1\u201317 (1990)","journal-title":"Journal of Logic Programming"},{"key":"2_CR11","unstructured":"van Emden, M.: The Early Days of Logic Programming: A Personal Perspective. The Association of Logic Programming Newsletter 19(3) (2006), \n                  \n                    http:\/\/www.cs.kuleuven.ac.be\/~dtai\/projects\/ALP\/newsletter\/aug06\/"},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"van Emden, M., Kowalski, R.A.: The Semantics of Predicate Logic as a Programming Language. JACM\u00a023(4), 733\u2013742 (1976)","journal-title":"JACM"},{"key":"2_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5","volume-title":"Logic and Data Bases","author":"H. Gallaire","year":"1978","unstructured":"Gallaire, H., Minker, J.: Logic and Data Bases. Plenum Press, New York (1978)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Green, C.: Application of Theorem Proving to Problem Solving. In: Walker, D.E., Norton, L.M. (eds.) Proceedings of the 1st International Joint Conference on Artificial Intelligence, pp. 219\u2013239. Morgan Kaufmann (1969)","DOI":"10.21236\/ADA459656"},{"key":"2_CR15","unstructured":"Hayes, P.J.: Computation and Deduction. In: Proceedings of the Second MFCS Symposium, Czechoslovak Academy of Sciences, pp. 105\u2013118 (1973)"},{"key":"2_CR16","unstructured":"Hewitt, C.: Procedural Embedding of Knowledge In Planner. In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence. Morgan Kaufmann (1971)"},{"key":"2_CR17","unstructured":"Hewitt, C.: Middle History of Logic Programming: Resolution, Planner, Edinburgh LCF, Prolog, Simula, and the Japanese Fifth Generation Project. arXiv preprint arXiv:0904.3036 (2009)"},{"key":"2_CR18","unstructured":"Hill, R.: LUSH Resolution and its Completeness. DCL Memo 78. School of Artificial Intelligence, University of Edinburgh (1974)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Huang, S.S., Green, T.J., Loo, B.T.: Datalog and Emerging Applications: an Interactive Tutorial. In: Proceedings of the 2011 ACM SIGMOD International Conference on Management of Data, pp. 1213\u20131216 (2011)","DOI":"10.1145\/1989323.1989456"},{"key":"2_CR20","unstructured":"Kowalski, R.A.: The Predicate Calculus as a Programming Language (abstract). In: Procedings of the First MFCS Symposium, Jablonna, Poland (1972)"},{"key":"#cr-split#-2_CR21.1","unstructured":"Kowalski, R.A.: Predicate Logic as a Programming Language. DCL Memo 70, School of Artificial Intelligence, Univ. of Edinburgh (1973)"},{"key":"#cr-split#-2_CR21.2","unstructured":"Proceedings of IFIP, pp. 569-574. North-Holland, Amsterdam (1974)"},{"issue":"7","key":"2_CR22","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R.A. Kowalski","year":"1979","unstructured":"Kowalski, R.A.: Algorithm = Logic+ Control. CACM\u00a022(7), 424\u2013436 (1979)","journal-title":"CACM"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/35043.35046","volume":"31","author":"R.A. Kowalski","year":"1988","unstructured":"Kowalski, R.A.: The Early History of Logic Programming. CACM\u00a031, 38\u201343 (1988)","journal-title":"CACM"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R.A. Kowalski","year":"1971","unstructured":"Kowalski, R.A., Kuehner, D.: Linear Resolution with Selection Function. Artificial Intelligence Journal\u00a02, 227\u2013260 (1971)","journal-title":"Artificial Intelligence Journal"},{"key":"2_CR25","unstructured":"Kuehner, D.: Bi-directional Search with Horn Clauses. Edinburgh University (1969)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BFb0060630","volume-title":"Symposium on Automatic Demonstration","author":"D.W. Loveland","year":"1970","unstructured":"Loveland, D.W.: A Linear Format for Resolution. In: Symposium on Automatic Demonstration, pp. 147\u2013162. Springer, Heidelberg (1970)"},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/321694.321706","volume":"19","author":"D.W. Loveland","year":"1972","unstructured":"Loveland, D.W.: A Unifying View of Some Linear Herbrand Procedures. JACM\u00a019(2), 366\u2013384 (1972)","journal-title":"JACM"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0060631","volume-title":"Symposium on Automatic Demonstration","author":"D. Luckham","year":"1970","unstructured":"Luckham, D.: Refinement Theorems in Resolution Theory. In: Symposium on Automatic Demonstration, pp. 163\u2013190. Springer, Heidelberg (1970)"},{"key":"2_CR29","volume-title":"Logic and Databases","author":"J.M. Nicolas","year":"1978","unstructured":"Nicolas, J.M., Gallaire, H.: Database: Theory vs. Interpretation. In: Gallaire, H., Minker, J. (eds.) Logic and Databases. Plenum, New York (1978)"},{"issue":"4","key":"2_CR30","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1145\/321662.321678","volume":"18","author":"R. Reiter","year":"1971","unstructured":"Reiter, R.: Two Results on Ordering for Resolution with Merging and Linear Format. JACM\u00a018(4), 630\u2013646 (1971)","journal-title":"JACM"},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: Machine-Oriented Logic Based on the Resolution Principle. JACM\u00a012(1), 23\u201341 (1965)","journal-title":"JACM"},{"issue":"3","key":"2_CR32","first-page":"227","volume":"1","author":"J. Robinson","year":"1965","unstructured":"Robinson, J.: Automatic Deduction with Hyper-resolution. International J. Computer Math.\u00a01(3), 227\u2013234 (1965)","journal-title":"International J. Computer Math."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. In: Proceedings of the ACM SIGMOD International Conference on the Management of Data, pp. 442\u2013453 (1994)","DOI":"10.1145\/191843.191927"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, T.: OLD Resolution with Tabulation. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 84\u201398. Springer, Heidelberg (1986)"},{"key":"2_CR35","unstructured":"Scott, D.: Outline of a Mathematical Theory of Computation. In: Proc. of the Fourth Annual Princeton Conference on Information Sciences and Systems, pp. 169\u2013176 (1970)"},{"key":"2_CR36","unstructured":"Siekmann, J., Woods, J.: History of Computational Logic in the Twentieth Century. Elsevier (to appear)"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Tekle, K.T., Liu, Y.A.: More Efficient Datalog Queries: Subsumptive Tabling beats Magic Sets. In: Proceedings of the 2011 ACM SIGMOD International Conference on Management of Data, pp. 661\u2013672 (2011)","DOI":"10.1145\/1989323.1989393"},{"key":"2_CR38","unstructured":"Winograd, T.: Procedures as a Representation for Data in a Computer Program for Under-standing Natural Language. MIT AI TR-235 (1971) Also: Understanding Natural Language. Academic Press, New York (1972)"},{"key":"2_CR39","first-page":"54","volume":"16","author":"N.K. Zamov","year":"1969","unstructured":"Zamov, N.K., Sharonov, V.I.: On a Class of Strategies for the Resolution Method. Zapiski Nauchnykh Seminarov POMI\u00a016, 54\u201364 (1969)","journal-title":"Zapiski Nauchnykh Seminarov POMI"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:21:26Z","timestamp":1558059686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}