Logic Programming with PROLOG

Bramer, Max

  • 出版商: Springer
  • 出版日期: 2013-11-20
  • 售價: $1,750
  • 貴賓價: 9.5$1,663
  • 語言: 英文
  • 頁數: 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出版的其他著作包括:

- 《資料挖掘原理,第二版》
- 《智能系統的研究與開發》
- 《理論與實踐中的人工智能》