Items related to From Logic to Logic Programming (Foundations of Computing)...

From Logic to Logic Programming (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES) - Hardcover

  • 4.22 out of 5 stars
    9 ratings by Goodreads
 
9780262041423: From Logic to Logic Programming (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

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.

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

About the Author

Kees Doets is University Lecturer, Faculty of Mathematics and Computer Science, University of Amsterdam.

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

  • PublisherMit Pr
  • Publication date1994
  • ISBN 10 0262041421
  • ISBN 13 9780262041423
  • BindingHardcover
  • LanguageEnglish
  • Number of pages228
  • Rating
    • 4.22 out of 5 stars
      9 ratings by Goodreads

Buy Used

Condition: As New
Cambridge, Mass. : MIT Press, 1994...
View this item

US$ 13.67 shipping from Netherlands to U.S.A.

Destination, rates & speeds

Search results for From Logic to Logic Programming (Foundations of Computing)...

Stock Image

Doets, Kees.
Published by Mit Pr, 1994
ISBN 10: 0262041421 ISBN 13: 9780262041423
Used Softcover

Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 65.65
Convert currency
Shipping: US$ 13.67
From Netherlands to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket