001469843 000__ 06038cam\\2200709\i\4500
001469843 001__ 1469843
001469843 003__ OCoLC
001469843 005__ 20230803003349.0
001469843 006__ m\\\\\o\\d\\\\\\\\
001469843 007__ cr\cn\nnnunnun
001469843 008__ 230621s2023\\\\sz\a\\\\o\\\\\001\0\eng\d
001469843 019__ $$a1384412198
001469843 020__ $$a9783031352546$$q(electronic bk.)
001469843 020__ $$a3031352548$$q(electronic bk.)
001469843 020__ $$z9783031352539
001469843 020__ $$z303135253X
001469843 0247_ $$a10.1007/978-3-031-35254-6$$2doi
001469843 035__ $$aSP(OCoLC)1384435055
001469843 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF
001469843 049__ $$aISEA
001469843 050_4 $$aQA76.73.P76
001469843 08204 $$a005.13/3$$223/eng/20230621
001469843 24500 $$aProlog :$$bthe next 50 years /$$cDavid S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors.
001469843 264_1 $$aCham :$$bSpringer,$$c[2023]
001469843 264_4 $$c©2023
001469843 300__ $$a1 online resource (xvi, 394 pages) :$$billustrations (chiefly color).
001469843 336__ $$atext$$btxt$$2rdacontent
001469843 337__ $$acomputer$$bc$$2rdamedia
001469843 338__ $$aonline resource$$bcr$$2rdacarrier
001469843 4901_ $$aLecture notes in computer science. Lecture notes in artificial intelligence,$$x2945-9141 ;$$v13900
001469843 4901_ $$aLNCS sublibrary: SL7 - Artificial intelligence
001469843 500__ $$aIncludes author index.
001469843 5050_ $$aBackground -- Introduction to Prolog -- About Prolog, present and future -- Types, modes and so much more ⁰́b3 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.
001469843 506__ $$aAccess limited to authorized users.
001469843 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⁰́b9s 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⁰́b9s range.
001469843 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 21, 2023).
001469843 650_0 $$aProlog (Computer program language)
001469843 655_0 $$aElectronic books.
001469843 7001_ $$aWarren, David S.,$$eeditor.
001469843 7001_ $$aDahl, Veronica,$$d1950-$$eeditor.
001469843 7001_ $$aEiter, Thomas,$$d1966-$$eeditor.
001469843 7001_ $$aHermenegildo, Manuel,$$eeditor.
001469843 7001_ $$aKowalski, Robert,$$eeditor.
001469843 7001_ $$aRossi, Francesca,$$d1962-$$eeditor.
001469843 77608 $$iPrint version: $$z303135253X$$z9783031352539$$w(OCoLC)1380391422
001469843 830_0 $$aLecture notes in computer science ;$$v13900.
001469843 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$x2945-9141
001469843 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
001469843 852__ $$bebk
001469843 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-35254-6$$zOnline Access$$91397441.1
001469843 909CO $$ooai:library.usi.edu:1469843$$pGLOBAL_SET
001469843 980__ $$aBIB
001469843 980__ $$aEBOOK
001469843 982__ $$aEbook
001469843 983__ $$aOnline
001469843 994__ $$a92$$bISE