Summary and Info
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.
More About the Author
James ("Jim") Calvin Spivey (born March 7, 1960 in Schiller Park, Illinois) is a former American middle-distance runner and Olympian.
Review and Comments
Rate the Book
An Introduction to Logic Programming Through Prolog 0 out of 5 stars based on 0 ratings.