An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science)

Spivey, J. M.; Spivey, Michael

 
9780135360477: An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science)

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

Using theory as a foundation for practical programming, this book 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.

For software engineers and programmers.Previously announced in 12/93 PTR Catalog.

"About this title" may belong to another edition of this title.