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

Spivey, Michael,Spivey, J. M.

ISBN 10: 0135360471 / ISBN 13: 9780135360477

Published by Prentice Hall, 1996

About this Item

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Seller Inventory # S_333306328

Bibliographic Details

• Title: An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science)
• Publisher: Prentice Hall
• Publication Date: 1996
• Language: English
• ISBN 10: 0135360471
• ISBN 13: 9780135360477
• Binding: Textbook Binding
• Condition: Good

About this title

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.

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.