From Logic to Logic Programming (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Doets, Kees
ISBN 10: 0262041421 ISBN 13: 9780262041423
Published by Mit Pr, 1994
Used
hardcover
From
My Dead Aunt's Books, Hyattsville, MD, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since 26 July 2016
This specific item is no longer available.
About this Item
Description:
Unmarked hardcover no jacket. Seller Inventory # 141451
Synopsis:
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: From Logic to Logic Programming (Foundations...
Publisher: Mit Pr
Publication Date: 1994
Binding: hardcover
Condition: Very Good
Dust Jacket Condition: NONE
Top Search Results from the AbeBooks Marketplace
Stock Image
From logic to logic programming.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: as new. Cambridge, Mass. : MIT Press, 1994. Hardcover. 228 pp. - This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic. Condition : as new copy. ISBN 9780262041423. Keywords : COMPUTER STUDIES, Logic programming. Seller Inventory # 287754
Buy Used
£ 50.49
£ 26.28 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available
Stock Image
From Logic to Logic Programming (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. 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_442862598
Stock Image
From Logic to Logic Programming (FOUNDATIONS OF COMPUTING SERIES)
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Sehr gut. 228 Seiten; *** Top Zustand! M25-07-P-24-VG Sprache: Deutsch Gewicht in Gramm: 1. Seller Inventory # 35330
Stock Image
From Logic to Logic Programming (Foundations of Computing)
Seller: YESIBOOKSTORE, MIAMI, FL, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: As New. Seller Inventory # 0262041421-VB