80,24 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
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.
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.
Volume editors, authors, scientific advisors and reviewers are the leading researchers in this field
Book represents an excellent overview of the field, its successes, and its future
Initiative of the Year of Prolog, celebrating the 50th anniversary of the emergence of Prolog
Background.- 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 ProgrammingTechniques through a Single Operation.- Logical Semantics for Prolog.- The Janus System: A Bridgeto New Prolog Applications.- Teaching Prolog.- Some Thoughts on How to Teach Prolog.- Simultaneously Teaching Mathematics and Prolog in School Curricula:A Mutual Benefit.- LogicProgramming at Elementary School: Why, what and how should weteach Logic Programming to children.- Prolog Education in Selected High Schools in Bulgaria.-Introducing Prolog inLanguage-Informed Ways.- Tools for teaching Prolog.- Teaching Prolog with Active Logic Documents.- Simply Logical - The First Three Decades.- Prolog-based languages and systemsDynamic Logic Programming.- Combining Prolog and Imperative Computingin LPS.- Quintero Ergo: A Quest for Declarativity in Logic Programming.- Prolog applications: finalists for the Colmerauer prizeProB: Harnessing the Power of Prolog to Bring Formal Models andMathematics to Life.- Pacioli: a PROLOG system for financial reportvalidation.- Logic Model Processing.- Symbium: Using logic programming to streamlinecitizen-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.- Prologmeets Biology.- Prolog in Automated Reasoning in Geometry.- Logic-based Explainable and IncrementalMachine Learning.- Reflectionson Automation, Learnability and Expressiveness in Logic-basedProgramming Languages.- Prolog for Scientific Explanation.- Machines asThought Partners: Reflections on 50 Years of Prolog.
| Erscheinungsjahr: | 2023 |
|---|---|
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | Lecture Notes in Artificial Intelligence |
| Inhalt: |
xvi
394 S. 30 s/w Illustr. 99 farbige Illustr. 394 p. 129 illus. 99 illus. in color. |
| ISBN-13: | 9783031352539 |
| ISBN-10: | 303135253X |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Redaktion: |
Warren, David S.
Dahl, Veronica Rossi, Francesca Hermenegildo, Manuel V. Kowalski, Robert Eiter, Thomas |
| Herausgeber: | David S Warren/Veronica Dahl/Thomas Eiter et al |
| Auflage: | 1st ed. 2023 |
| Hersteller: |
Springer Nature Switzerland
Springer International Publishing Springer International Publishing AG Lecture Notes in Artificial Intelligence |
| Maße: | 235 x 155 x 23 mm |
| Von/Mit: | David S. Warren (u. a.) |
| Erscheinungsdatum: | 17.06.2023 |
| Gewicht: | 0,622 kg |
Volume editors, authors, scientific advisors and reviewers are the leading researchers in this field
Book represents an excellent overview of the field, its successes, and its future
Initiative of the Year of Prolog, celebrating the 50th anniversary of the emergence of Prolog
Background.- 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 ProgrammingTechniques through a Single Operation.- Logical Semantics for Prolog.- The Janus System: A Bridgeto New Prolog Applications.- Teaching Prolog.- Some Thoughts on How to Teach Prolog.- Simultaneously Teaching Mathematics and Prolog in School Curricula:A Mutual Benefit.- LogicProgramming at Elementary School: Why, what and how should weteach Logic Programming to children.- Prolog Education in Selected High Schools in Bulgaria.-Introducing Prolog inLanguage-Informed Ways.- Tools for teaching Prolog.- Teaching Prolog with Active Logic Documents.- Simply Logical - The First Three Decades.- Prolog-based languages and systemsDynamic Logic Programming.- Combining Prolog and Imperative Computingin LPS.- Quintero Ergo: A Quest for Declarativity in Logic Programming.- Prolog applications: finalists for the Colmerauer prizeProB: Harnessing the Power of Prolog to Bring Formal Models andMathematics to Life.- Pacioli: a PROLOG system for financial reportvalidation.- Logic Model Processing.- Symbium: Using logic programming to streamlinecitizen-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.- Prologmeets Biology.- Prolog in Automated Reasoning in Geometry.- Logic-based Explainable and IncrementalMachine Learning.- Reflectionson Automation, Learnability and Expressiveness in Logic-basedProgramming Languages.- Prolog for Scientific Explanation.- Machines asThought Partners: Reflections on 50 Years of Prolog.
| Erscheinungsjahr: | 2023 |
|---|---|
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | Lecture Notes in Artificial Intelligence |
| Inhalt: |
xvi
394 S. 30 s/w Illustr. 99 farbige Illustr. 394 p. 129 illus. 99 illus. in color. |
| ISBN-13: | 9783031352539 |
| ISBN-10: | 303135253X |
| Sprache: | Englisch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Redaktion: |
Warren, David S.
Dahl, Veronica Rossi, Francesca Hermenegildo, Manuel V. Kowalski, Robert Eiter, Thomas |
| Herausgeber: | David S Warren/Veronica Dahl/Thomas Eiter et al |
| Auflage: | 1st ed. 2023 |
| Hersteller: |
Springer Nature Switzerland
Springer International Publishing Springer International Publishing AG Lecture Notes in Artificial Intelligence |
| Maße: | 235 x 155 x 23 mm |
| Von/Mit: | David S. Warren (u. a.) |
| Erscheinungsdatum: | 17.06.2023 |
| Gewicht: | 0,622 kg |
Ähnliche Produkte
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen