Logic Programming with PROLOG
暫譯: 使用 PROLOG 的邏輯程式設計

Bramer, Max

  • 出版商: Springer
  • 出版日期: 2013-11-20
  • 定價: $1,750
  • 售價: 8.0$1,400
  • 語言: 英文
  • 頁數: 253
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 144715486X
  • ISBN-13: 9781447154860
  • 相關分類: Object-oriented
  • 立即出貨 (庫存 < 3)

相關主題

商品描述

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence.

Logic Programming with Prolog does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic or Artificial Intelligence. It starts from scratch and aims to arrive at the point where quite powerful programs can be written in the language. It is intended both as a textbook for an introductory course and as a self-study book. On completion readers will know enough to use Prolog in their own research or practical projects.

Each chapter has self-assessment exercises so that readers may check their own progress. A glossary of the technical terms used completes the book.

This second edition has been revised to be fully compatible with SWI-Prolog, a popular multi-platform public domain implementation of the language. Additional chapters have been added covering the use of Prolog to analyse English sentences and to illustrate how Prolog can be used to implement applications of an 'Artificial Intelligence' kind.

Max Bramer is Emeritus Professor of Information Technology at the University of Portsmouth, England. He has taught Prolog to undergraduate computer science students and used Prolog in his own work for many years.

商品描述(中文翻譯)

邏輯程式設計是指一種獨特的程式設計風格,與傳統程式語言如 C++ 和 Java 有很大的不同。目前使用最廣泛的邏輯程式設計語言是 Prolog。Prolog 是開發複雜應用程式的良好選擇,特別是在人工智慧領域。

《使用 Prolog 的邏輯程式設計》並不假設讀者是經驗豐富的程式設計師或具備數學、邏輯或人工智慧的背景。它從基礎開始,旨在達到能夠用該語言編寫相當強大的程式的程度。這本書既可作為入門課程的教科書,也可作為自學書籍。完成後,讀者將具備足夠的知識以在自己的研究或實際專案中使用 Prolog。

每一章都有自我評估練習,讓讀者可以檢查自己的進度。書末附有所使用的技術術語的詞彙表。

本書的第二版已修訂為完全兼容 SWI-Prolog,這是一個流行的多平台公共領域實現。新增的章節涵蓋了使用 Prolog 分析英語句子的內容,並說明了 Prolog 如何用於實現「人工智慧」類型的應用程式。

Max Bramer 是英國朴茨茅斯大學資訊科技的名譽教授。他曾教授 Prolog 給本科計算機科學學生,並在自己的工作中使用 Prolog 多年。

作者簡介

Max Bramer is Emeritus Professor of Information Technology at the University of Portsmouth, England. He has taught Prolog to undergraduate computer science students and used Prolog in his own work for many years. Some of Max Bramer's other Springer publications include:

  • Principles of Data Mining, 2nd Edition
  • Research and Development in Intelligent Systems
  • Artificial Intelligence in Theory and Practice

作者簡介(中文翻譯)

Max Bramer 是英國朴茨茅斯大學的資訊科技名譽教授。他曾教授 Prolog 給本科計算機科學學生,並在自己的工作中使用 Prolog 已經多年。Max Bramer 的其他 Springer 出版物包括:

- 數據挖掘原理(第二版)
- 智能系統的研究與發展
- 理論與實踐中的人工智慧