Books [Feliks Kluznia, Stanislaw Szpakowicz] Prolog for Programmers

[tttx]

ОПИСАНИЕ:

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

ПРОДАЖНИК:

Авторизуйтесь, чтобы посмотреть скрытый контент

СКАЧАТЬ:

Авторизуйтесь, чтобы посмотреть скрытый контент