Synopsis
Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.
"synopsis" may belong to another edition of this title.
Search results for From Logic Programming To Prolog (Prentice-hall Internationa...
Stock Image
From Logic Programming to Prolog
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-B-020-01692
Buy Used
£ 24.56
Shipping:
£ 10.64
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
From Logic Programming to Prolog
Published by
Prentice Hall, 1996
ISBN 10: 013230368X
ISBN 13: 9780132303682
Used
Soft cover
First Edition
Seller: 3rd St. Books, Lees Summit, MO, U.S.A.
Seller rating 5 out of 5 stars
Soft cover. Condition: Good. 1st Edition. Good, clean, tight condition with usual EX-LIBRARY features. Text free of marks. Professional book dealer since 1999. All orders are processed promptly and carefully packaged with tracking. Seller Inventory # 067401
Stock Image
From Logic Programming to Prolog (Prentice-hall International Series in Computer Science)
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
textbook. Condition: Sehr gut. 328 Seiten; M25-07-O-20-VG Sprache: Deutsch Gewicht in Gramm: 1. Seller Inventory # 35297