Prolog: The Next 50 Years

Warren, David S., Dahl, Veronica, Eiter, Thomas

  • 出版商: Springer
  • 出版日期: 2023-06-17
  • 售價: $3,510
  • 貴賓價: 9.5$3,335
  • 語言: 英文
  • 頁數: 394
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 303135253X
  • ISBN-13: 9783031352539
  • 海外代購書籍(需單獨結帳)

商品描述

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.

商品描述(中文翻譯)

這本書的動機來自於「Prolog之年」的倡議,該倡議是為了慶祝Prolog語言誕生50週年,這個語言是由Alain Colmerauer在馬賽的團隊所開發。本書的編輯、作者、科學顧問和評審都是這個領域中數十年來的領先研究人員和程式設計師,該書對這個領域、它的成功和未來提供了出色的概述。

在第一章中,通過例子輕鬆介紹了Prolog程式語言,接下來的7篇論文討論了語言的一般觀點、未來的可能擴展以及Prolog如何通常用於解決問題;接下來的5篇論文探討了教授Prolog程式設計的想法和經驗,然後有2篇論文討論了為教學開發的技術;接下來的3篇論文描述了基於Prolog的新語言,展示了邏輯程式設計的未來方向;接下來的5章解釋了2022年Alain Colmerauer獎的入圍應用;最後的8篇論文描述了使用Prolog語言開發的應用,展示了這個語言的廣泛應用範圍。