{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:07Z","timestamp":1742617147770,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":72,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556817"},{"type":"electronic","value":"9783540472711"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55681-8_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:31:28Z","timestamp":1330252288000},"page":"50-81","source":"Crossref","is-referenced-by-count":0,"title":["Prolog: A step towards the future of programming"],"prefix":"10.1007","author":[{"given":"Olga","family":"\u0160t\u011bp\u00e1nkov\u00e1","sequence":"first","affiliation":[]},{"given":"Petr","family":"\u0160t\u011bp\u00e1nek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren's Abstract Machine, A Tutorial Reconstruction","author":"H. Ait-Kaci","year":"1991","unstructured":"Ait-Kaci, H.; Warren's Abstract Machine, A Tutorial Reconstruction, The MIT Press, Cambridge, Massachusetts 1991"},{"key":"4_CR2","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"D. Allred","year":"1992","unstructured":"Allred, D. et al.; AGATHA: Applying Prolog to Test and Diagnosis of Printed Circuit Boards. In: [Moss (1992)]"},{"key":"4_CR3","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"J. L. Armstrong","year":"1992","unstructured":"Armstrong, J.L. et al.; Use of Prolog for Developing a New Programming Language. In: [Moss (1992)]"},{"key":"4_CR4","volume-title":"Wissensbasierte Systeme mit Prolog","author":"B. B\u00f6hringer","year":"1988","unstructured":"B\u00f6hringer, B., Ciopris, C., Fut\u00f3, I.; Wissensbasierte Systeme mit Prolog, Addison Wesley, Bonn 1988"},{"key":"4_CR5","unstructured":"Bratko, I.; Prolog Programming for Artificiall Inteligence, Second edition, Addison Wesley, 1990"},{"key":"4_CR6","series-title":"Worshops in Computing","volume-title":"Logic Program Synthesis and Transformation","year":"1992","unstructured":"Clement, T.P., Lau, K.K. (eds.); Logic Program Synthesis and Transformation, Worshops in Computing, Manchester 1991, Springer Verlag 1992"},{"key":"4_CR7","unstructured":"Clark,K.J., Gregory,S.; Parlog: Parallel Programming in Logic, TR DOC 84\/4, Dept. of Computing, Imperial College of Science and Technology, University of London 1984"},{"key":"4_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97005-4","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1987","unstructured":"Clocksin, W.F., Mellish, C.S.; Programming in Prolog, third revised and extended edition, Springer-Verlag, Berlin, Heidelberg 1987 Good elementary introduction to programming in Prolog. It describes the (de facto) standard of the Prolog language. The book has become a standard reference source. Recommendable both to the students of various branches and\/or specialists in Computer Science.","edition":"third revised a"},{"key":"4_CR9","unstructured":"Colmerauer, A.; Les grammaires de metamorphose, Groupe d'Intelligence Artificielle, Universit\u00e9 de Marseille-Luminy 1975 (English translation in: Natural Language Communication with Computers, Bolc, L. (editor), Springer Verlag, Berlin 1978)"},{"key":"4_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83213-0","volume-title":"Prolog by example","author":"H. Coelho","year":"1988","unstructured":"Coelho, H., Cotta, J.C.; Prolog by example, Springer-Verlag, Berlin, Heidelberg 1988. A collection of Programs from various application domains. The reader should be careful, there are many unpleasant misprints in the text of the programs."},{"key":"4_CR11","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"E. Coulston","year":"1992","unstructured":"Coulston, E. et al.; An Example of Maintainable Program design in Prolog: Weeds in Sugar Cane. In: [Moss (1992)]"},{"key":"4_CR12","unstructured":"Covington, M.A., Nute, D., Vellino, A.; Prolog Programming in Depth, Scott, Foresman & Company, 1988. A good survey of the Prolog language and of its applications including Artificial Intelligence and Natural language processing."},{"key":"4_CR13","unstructured":"Dahl, V.; Logic Based Metagrammars for natural language analysis, Tech. Rep. Department Comp. Sci. Simon Fraser University, Burnaby, Canada 1985"},{"key":"4_CR14","unstructured":"Deville, Y.; Logic Programming. Systematic Program Development. Addison-Wesley 1990. A systematic methodology for logic program development is proposed, covering the entire development process: from an informal specification to an efficient logic program."},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer De","year":"1984","unstructured":"De Kleer, J., Brown, J.S.; A Qualitative Physics Based on Confluences, Artificial Intelligence 24 (1984), 7\u201383, 1984","journal-title":"Artificial Intelligence"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.; A truth-maintenance system, Artificial Intelligence 12(1979), 231\u2013272","journal-title":"Artificial Intelligence"},{"key":"4_CR17","unstructured":"Eder,J.; Logic and databases, in this volume"},{"issue":"No.3","key":"4_CR18","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/131295.131298","volume":"35","author":"K. Furukawa","year":"1992","unstructured":"Furukawa, K.; Logic Programming as the Integrator of the Fifth Generation Computer Systems Project, Communications of the ACM, March 1992, vol35, No.3, pp. 82\u201392","journal-title":"Communications of the ACM"},{"volume-title":"Logic and Data Bases","year":"1977","key":"4_CR19","unstructured":"Gallaire, H., Minker, J. (editors); Logic and Data Bases, Plenum Press New York and London 1977. This is a classical collection of papers concerning Logic, Knowledge Representation and Data Bases. It contains several highly cited classical papers in the field and it is a standard reference source."},{"key":"4_CR20","unstructured":"Gallier, J.H.; Logic for Computer Science, Foundations of Automatic Theorem Proving, John Wiley & Sons 1987. A deep and wide survey of Logic for a Computer Science student and\/or specialist."},{"key":"4_CR21","unstructured":"Genesereth, M.R., Nilsson, N.J.; Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, 1987. A rather complete introduction to logical foundations of Artifical Intelligence with emphasis on declarative representation of knowledge. Good reading, sometimes a bit short in argumentation."},{"key":"4_CR22","unstructured":"Gibbins, P.; Logic with Prolog. Clarendon Press 1988. Textbook of logic based on Prolog excercises."},{"issue":"No.3","key":"4_CR23","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/131295.131297","volume":"35","author":"J. Grant","year":"1992","unstructured":"Grant, J., Minker, J.; The Impact of Logic Programming on Databases. Communications of the ACM, March 1992, vol35, No.3, pp. 66\u201381","journal-title":"Communications of the ACM"},{"key":"4_CR24","volume-title":"Introduction to Logic Programming","author":"C. J. Hogger","year":"1984","unstructured":"Hogger, C.J.; Introduction to Logic Programming, Academic Press, London 1984. A concise (rather informal) survey of Foundations of Logic Programming, programming techniques in Prolog and implementation. The book is more formal and precise than Kowalski (1979) but it contains less material."},{"key":"4_CR25","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538202.001.0001","volume-title":"Essentials of Logic Programming","author":"C. J. Hogger","year":"1990","unstructured":"Hogger, C.J.; Essentials of Logic Programming, Clarendon Press, Oxford 1990. The book is of great help for an introductory course of logic programming. Theoretical issues as semantics of definite programs, their transformations and completions, problems of negation are well covered. Many excercises are given to support the text."},{"volume-title":"Logic-Based Knowledge Representation","year":"1989","key":"4_CR26","unstructured":"Jackson, P., Reichgelt, H. and van Hermelen, F. (editors); Logic-Based Knowledge Representation, The MIT Press, Cambridge Massachusetts 1989. A collection of papers concerning Logic and its role in Knowledge Representation and Problem Solving."},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Jaffar,J., Lassez,J.-L.; Constraint Logic Programming, in: ACM POPL Conference, Munich 1987","DOI":"10.1145\/41625.41635"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Jaffar,J., Lassez,J.-L.; From Unification to Constraints, GULP '89 Conference 1989","DOI":"10.1007\/3-540-19426-6_1"},{"key":"4_CR29","unstructured":"Jaffar,J., Michaylov, S. Methodology of Implementation of a CLP System, Proc. 4th Int. Conf. on Logic Programming 1987"},{"key":"4_CR30","unstructured":"Kim, S.H.; Knowledge Systems through Prolog. Oxford University Press 1991. The book is based on the experience of teaching an undergraduate course at MIT. It can well be used even for selfstudy."},{"key":"4_CR31","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"R. Knoll","year":"1992","unstructured":"Knoll, R., Zagenberg, H.; How do Prolog Products fit Company Needs. In: [Moss (1992)]"},{"key":"4_CR32","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R.; Logic for Problem Solving, North Holland Publishing Co. New York 1979 A classic book written by one of the founders of the discipline of Logic Programming. It emphasizes applications of Logic to Problem Solving especially the fragment of so called Horn Logic."},{"key":"4_CR33","unstructured":"Kreutzer, W., McKenzie, B.; Programming for AI (Methods, Tools and Applications), Addison-Wesley 1991 LISP, PROLOG and SMALLTALK are introduced and compared. Their use is illustrated by a collection of actual cases."},{"key":"4_CR34","unstructured":"Kriwaczek,F.; An introduction to Constraint Logic Programming, in this volume"},{"key":"4_CR35","unstructured":"La\u017eansk\u00fd, J.; Practical Applications of Planning Tasks, in this volume."},{"key":"4_CR36","volume-title":"Why Prolog? Justifying Logic Programming for Practical Applications","author":"G. I. Lazarev","year":"1989","unstructured":"Lazarev, G.I.; Why Prolog? Justifying Logic Programming for Practical Applications, Prentice Hall, Englewood Cliffs, New Jersey 1989 A short introduction to programming in Prolog with emphasis on declarative programming in software engineering."},{"key":"4_CR37","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":"Lloyd, J.W.; Foundations of Logic Programming, Springer-Verlag Berlin, Heidelberg (second edition) 1987 A concise and extensive survey of logical foundations of Logic Programming and Prolog. It is a standard reference source.","edition":"second edition"},{"key":"4_CR38","unstructured":"Lloyd,J.W.; Logic as a Foundation for Deductive Database Systems, Information Processing 89, Ritter, G.X. (editor), North Holland, pp. 323\u2013324, 1989"},{"key":"4_CR39","unstructured":"Maier, D., Warren, D.S.; Computing with Logic, Benjamin Publishing Co. 1988 A well organized survey of Logic Programming with the emphasis on efficient implementation of languages of Logic Programming."},{"key":"4_CR40","volume-title":"Prolog: A Relational Language and its applications","author":"J. Malpas","year":"1987","unstructured":"Malpas, J.; Prolog: A Relational Language and its applications, Prentice Hall, Englewood Cliffs, New Jersey 1987 A rather concise introduction to Prolog"},{"key":"4_CR41","unstructured":"Matsumoto, Y., Sugimura, R. A Parsing System Based on Logic Programming, in: IJCAI'87, pp. 671\u2013674, 1987"},{"key":"4_CR42","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"W. J. McClay","year":"1992","unstructured":"McClay, W. J.; A Query Server for Diverse Sources of Data and Knowledge. In: [Moss (1992)]"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Mc Cord, M.C., Modular Logic Grammars, Proc. 23rdAnn. Meeting of the Association of Comp. Ling. Chicago, pp. 104\u2013117,1985","DOI":"10.3115\/981210.981223"},{"key":"4_CR44","volume-title":"Logic and Objects","author":"F. G. McCabe","year":"1992","unstructured":"McCabe, F.G.; Logic and Objects, Prentice Hall International, Englewood Cliffs, New Jersey 1992"},{"key":"4_CR45","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"T. Menzies","year":"1992","unstructured":"Menzies, T. et al.; An Expert System for Raising Pigs. In: [Moss (1992)]"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Mizoguchi, F.(ed.); Prolog and its Applications. A Japanese Perspective. Chapman and Hall Computing (1991) Special attention is devoted to natural language processing and editing in Prolog. Cooperation with relational databases is considered.","DOI":"10.1007\/978-1-4899-7144-9_4"},{"key":"4_CR47","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"28","author":"R. C. Moore","year":"1985","unstructured":"Moore, R.C.; Semantical consideration on non-monotonic logic, Artificial Intelligence 28(1985), 75\u201394,1985","journal-title":"Artificial Intelligence"},{"volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","year":"1992","key":"4_CR48","unstructured":"Moss, Ch., Bowen, K. (eds); The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG, 1st\u20133rd April 1992, London, Association for Logic Programming"},{"key":"4_CR49","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton, S.; Inductive Logic Programming, New Generation Computing 8(1991), 295\u2013318","journal-title":"New Generation Computing"},{"key":"4_CR50","unstructured":"Neumann, G.; Meta-Programming and Prolog, Addison-Wesley Publishing Company 1988 Tlie first book to describe the Meta-Programming techniques in Prolog. It includes many examples of Meta-interpreters of Prolog for various purposes"},{"key":"4_CR51","unstructured":"Newmarch, J.D.; Logic Programming: Prolog and Stream Parallel Languages. Prentice Hall of Australia 1990 Parallelism in logic programming, namely commited choice non-determinic approach."},{"key":"4_CR52","unstructured":"Nilsson, U., Maluszynski, J.; Logic, Programming and Prolog. Wiley 1990 Theory of logic programming and declarative style. Special attention is given to recently considered extensions of LP as concurrent systems, equality handling and constraint solving. The book includes lot of excercises."},{"key":"4_CR53","volume-title":"The Craft of Prolog","author":"R. O'Keefe","year":"1990","unstructured":"O'Keefe, R.; The Craft of Prolog, The MIT Press, Cambridge Massachusetts 1990 This is an exposition of the Prolog language for a second reading. It shows how to present both well readable and efficient Prolog programs following the statement \u201cElegance is not optional\u201d."},{"key":"4_CR54","volume-title":"CSLI Lecture Notes 10","author":"P. N. C. C. Pereira","year":"1988","unstructured":"Pereira, P.N.C., Shieber, S.M.; Prolog and Natural-Language Analysis, CSLI Lecture Notes 10, Center for the Study of Language and Information, Stanford Menlo Park, Palo Alto 1988 The book contains a compact, competent and well-readable introduction to Prolog. It includes examples and applications to Computational Linguistics."},{"volume-title":"Types in Logic Programming","year":"1992","key":"4_CR55","unstructured":"Pfenning, F. (ed.); Types in Logic Programming, The MIT Press, Cambridge, Massachusetts 1992 Collection of original research papers on types in logic programming. It covers all of the major regular tree types, polymorphic types, subtypes and dependent types."},{"key":"4_CR56","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.; A logic for default reasoning, Artificial Intelligence 13(1980), 81\u2013132,1980","journal-title":"Artificial Intelligence"},{"issue":"No.3","key":"4_CR57","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/131295.131296","volume":"35","author":"A. J. Robinson","year":"1992","unstructured":"Robinson, A. J.; Logic and Logic Programming. Communications of the ACM, March 1992, vol35, No.3, pp. 40\u201365","journal-title":"Communications of the ACM"},{"key":"4_CR58","volume-title":"Artificial Intelligence Through Prolog","author":"N. C. Rowe","year":"1988","unstructured":"Rowe N.C.; Artificial Intelligence Through Prolog, Prentice Hall International, Englewood Cliffs, New Jersey 1988 Integrated presentation of most major topics in Artificial Intelligence (AI) with an emphasis on Logic Programming. The book includes in-depth discussion of Rule-based Systems, Implementation and Abstraction of Searchand Debugging of AI Programs."},{"key":"4_CR59","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"M. A. Sanamrad","year":"1992","unstructured":"Sanamrad, M.A., Bretan, I.; IBM SAA LanguageAccess: A large-Scale Commercial Product Implemented in Prolog. In: [Moss (1992)]."},{"key":"4_CR60","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y.; Algorithmic Program Debugging, The MIT Press, Cambridge, Massachusetts 1983 A pioneering work in the domaine of declarative program debugging. It presents now classical algorithms for debugging declarative programs and for automated correction."},{"key":"4_CR61","volume-title":"Concurrent Prolog","author":"E. Y. Shapiro","year":"1987","unstructured":"Shapiro, E.Y.; Concurrent Prolog, The MIT Press, Cambridge, Massachusetts 1987"},{"key":"4_CR62","unstructured":"\u0160t\u011bp\u00e1nkov\u00e1,O.; An Introduction to Qualitative Reasoning, in this volume"},{"key":"4_CR63","volume-title":"The Art of Prolog","author":"L. Stering","year":"1986","unstructured":"Stering, L., Shapiro, E.Y.; The Art of Prolog, The MIT Press, Cambridge, Mass. 1986 It is one of the best texts on Prolog programming. The book describes the programming techniques and their applications. Interesting examples of programs are included with a very limited number of misprints."},{"volume-title":"The Practice of Prolog","year":"1990","key":"4_CR64","unstructured":"Stering, L. (ed.); The Practice of Prolog, The MIT Press, Cambridge Massachusetts 1990 The names of chapters: 1. Prototyping data-bases in Prolog,2. A Prolog bases VLSI editor, 3. Assisting register transfer level hardware design, 4. Developing a portable parallelizing pascal compiler in Prolog 5. A Prolog partial evaluation system, 6. Generating natural language explanation from plans, 7. A simple learning program, 8. Data analysis."},{"key":"4_CR65","volume-title":"Parallel Logic Programming","author":"E. Tick","year":"1991","unstructured":"Tick, E.; Parallel Logic Programming, The MIT Press, Cambridge Massachusetts 1991 The book is unique in presenting symbolic parallel programming hand-in-hand with performance analysis of real empirical measurements. It provides the reader with tools for implementing and critically evaluating larger projects."},{"key":"4_CR66","unstructured":"Thayse, A. (editor); From Standard Logic to Logic Programming, John Wiley & Sons 1988 A well-balanced and extensive survey of Logic and Logic Programming with applications to Artifical Intelligence."},{"key":"4_CR67","unstructured":"Tokunada, T. Iwayama, M., Kawasaki,T.; LangLAB: A Natural Language Analysis System, Proc. Conf. COLING'88, Budapest pp. 655\u2013661 1988"},{"key":"4_CR68","doi-asserted-by":"crossref","unstructured":"Ueda,K.; Guarded Horn Clauses, ICOT Tech. Rep. CS-103 1985","DOI":"10.1007\/3-540-16479-0_17"},{"key":"4_CR69","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.; The Semantics of Predicate Logic as a Programming Language, Journal ACM 23 (1976), pp. 733\u2013742.","journal-title":"Journal ACM"},{"key":"4_CR70","volume-title":"Constraint satisfaction in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"van Hentenryck, P.; Constraint satisfaction in Logic Programming, The MIT Press, Cambridge Massachusetts 1989"},{"issue":"No.3","key":"4_CR71","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D. S. Warren","year":"1992","unstructured":"Warren, D.S.; Momoing for Logic Programs. Communications of the ACM, March 1992, vol 35, No.3, pp. 93\u2013110","journal-title":"Communications of the ACM"},{"key":"4_CR72","volume-title":"The Proceedings of the First International Conference & Exhibition The Practical Application of PROLOG","author":"M. Wood","year":"1992","unstructured":"Wood, M. et al.; XLSIOR: An Intelligent System for Reinsurance Recoveries Calculation. In: [Moss (1992)]"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55681-8_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:43:43Z","timestamp":1742593423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55681-8_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556817","9783540472711"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/3-540-55681-8_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}