Prolog for Programmers
简介：
Prolog for Programmers旨在为熟悉传统编程语言的人介绍Prolog。为了反映这一点，在第1章中，Prolog根据Pascal中的编程构造和技术进行了解释。但是，用Pascal解释Prolog有时会变得人为，例如，用错误恢复来解释回溯，并通过给出Pascal统一算法来解释统一。不幸的是，Prolog的逻辑和外部特征被一起引入，模糊了语言的声明性和非声明性方面之间的区别。第二章是对数学逻辑和解析的介绍，旨在为读者提供对Prolog的理论理解。但是，没有提及诸如否定即失败之类的重要概念。本章确实包含了关于搜索空间和智能回溯的很好的讨论，尽管语句
英文简介：
Prolog for Programmers is intended as an introduction to Prolog for people familiar with conventional programming languages.
Reflecting this, in Chapter 1, Prolog is explained in terms of programming constructs and techniques found in Pascal. However, explaining Prolog in terms of Pascal sometimes becomes contrived, for example, backtracking is explained in terms of error recovery and unification is explained by giving a Pascal unification algorithm.
Unfortunately, both the logical and extralogical features of Prolog are introduced together, blurring the distinction between the declarative and nondeclarative aspects of the language.
The second chapter is an introduction to mathematical logic and resolution intended to provide the reader with a theoretical understanding of Prolog. However, there is no mention of important concepts such as negation-as-failure. This chapter does contain a good discussion about search spaces and intelligent backtracking, though the statement
- 书名
- Prolog for Programmers
- 译名
- 程序员的 Prolog
- 语言
- 英语
- 年份
- 1985
- 页数
- 317页
- 大小
- 3.11 MB
- 标签
- Prolog
- 下载
Prolog for Programmers.pdf- 密码
- 65536
最后更新：2025-04-12 23:57:47