Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: An Introduction to Logic Programming Through Prolog
Автор: Spivey J.M.
Аннотация:
The book is useful to everyone interested in the subject of Logic Programming. It contains all aspects of Logic Programming in a clear and highly comprehensive manner. The concepts of SLD-resolution, negation as failure and many others have been presented so lucidly that a person with almost no knowledge in the subject can read them like stories. I liked the chapter of hardware simulation very much. I strongly recommend the book at least to those who have already made up their minds to switch to another subject. Readers may just look at the book once to verify my words. (Amazon.com)