Books [J. M. Spivey] An Introduction to Logic Programming Through Prolog

[tttx]

ОПИСАНИЕ:

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.

ПРОДАЖНИК:

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

СКАЧАТЬ:

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