Spivey J., Spivey M. — An Introduction to Logic Programming Through Prolog
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: An Introduction to Logic Programming Through Prolog
Авторы: Spivey J., Spivey M.
Аннотация:
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.
|
|
О проекте