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.
£ 2.74 shipping within United Kingdom
Destination, rates & speedsSeller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
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
Quantity: 1 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 280. Seller Inventory # 44797609
Quantity: 1 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: Used. pp. 280. Seller Inventory # 1847985020
Quantity: 1 available
Seller: book-link, Nufringen, BW, Germany
textbook. Condition: Sehr gut. 328 Seiten; M25-07-O-20-VG Sprache: Deutsch Gewicht in Gramm: 1. Seller Inventory # 35297
Quantity: 1 available
Seller: 3rd St. Books, Lees Summit, MO, U.S.A.
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
Quantity: 1 available
Seller: Mispah books, Redhill, SURRE, United Kingdom
Textbook Binding. Condition: Like New. Like New. book. Seller Inventory # ERICA773013230368X5
Quantity: 1 available