| 書(shū)目名稱 | Prolog: The Next 50 Years |
| 編輯 | David S. Warren,Veronica Dahl,Francesca Rossi |
| 視頻video | http://file.papertrans.cn/762/761167/761167.mp4 |
| 概述 | 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 |
| 叢書(shū)名稱 | Lecture Notes in Computer Science |
| 圖書(shū)封面 |  |
| 描述 | This 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.. |
| 出版日期 | Book 2023 |
| 關(guān)鍵詞 | logic; logic programming; prolog; knowledge representation (KR); artificial intelligence (AI); program se |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-35254-6 |
| isbn_softcover | 978-3-031-35253-9 |
| isbn_ebook | 978-3-031-35254-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 14:32
發(fā)表于 2025-3-21 16:14:45
