000 05612nam a22005895i 4500
001 978-3-031-35254-6
003 DE-He213
005 20240730203925.0
007 cr nn 008mamaa
008 230616s2023 sz | s |||| 0|eng d
020 _a9783031352546
_9978-3-031-35254-6
024 7 _a10.1007/978-3-031-35254-6
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aProlog: The Next 50 Years
_h[electronic resource] /
_cedited by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXVI, 394 p. 129 illus., 99 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v13900
505 0 _aBackground -- Introduction to Prolog -- About Prolog, present and future -- Types, modes and so much more - the Prolog way -- Manuel Carro Prolog as a Knowledge Representation Language -- Prolog: Past, Present, and Future -- Writing Correct Prolog Programs -- Demonstrating Multiple Prolog Programming Techniques through a Single Operation -- Logical Semantics for Prolog -- The Janus System: A Bridge to New Prolog Applications -- Teaching Prolog -- Some Thoughts on How to Teach Prolog -- Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit -- Logic Programming at Elementary School: Why, what and how should we teach Logic Programming to children -- Prolog Education in Selected High Schools in Bulgaria.-Introducing Prolog in Language-Informed Ways -- Tools for teaching Prolog -- Teaching Prolog with Active Logic Documents -- Simply Logical - The First Three Decades -- Prolog-based languages and systems Dynamic Logic Programming -- Combining Prolog and Imperative Computing in LPS -- Quintero Ergo: A Quest for Declarativity in Logic Programming -- Prolog applications: finalists for the Colmerauer prize ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life -- Pacioli: a PROLOG system for financial report validation -- Logic Model Processing -- Symbium: Using logic programming to streamline citizen-to-government interactions -- PROLEG: Practical Legal Reasoning System -- Contributed Prolog applications -- Logical English for Law and Education -- Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives -- Prolog meets Biology -- Prolog in Automated Reasoning in Geometry -- Logic-based Explainable and Incremental Machine Learning -- Reflections on Automation, Learnability and Expressiveness in Logic-based Programming Languages -- Prolog for Scientific Explanation -- Machines as Thought Partners: Reflections on 50 Years of Prolog.
520 _aThis volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer's team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future. After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language's range.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aWarren, David S.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_923270
700 1 _aDahl, Veronica.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9177651
700 1 _aEiter, Thomas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9177652
700 1 _aHermenegildo, Manuel V.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9177653
700 1 _aKowalski, Robert.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9177654
700 1 _aRossi, Francesca.
_eeditor.
_0(orcid)
_10000-0001-8898-219X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9177655
710 2 _aSpringerLink (Online service)
_9177656
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031352539
776 0 8 _iPrinted edition:
_z9783031352553
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v13900
_9177657
856 4 0 _uhttps://doi.org/10.1007/978-3-031-35254-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c97656
_d97656