Prolog: The Next 50 Years
Warren, David S., Dahl, Veronica, Eiter, Thomas
- 出版商: Springer
- 出版日期: 2023-06-17
- 售價: $3,750
- 貴賓價: 9.5 折 $3,563
- 語言: 英文
- 頁數: 394
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303135253X
- ISBN-13: 9783031352539
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.