相關主題
商品描述
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 語言開發的應用,展示了該語言的多樣性。