Error title
Some error text about your books and stuff.
Close
  • ISBN: 9780262041423
  • ISBN10: 0262041421

From Logic to Logic Programming

by Kees Doets

  • List Price: $48.00
  • Binding: Hardcover
  • Publisher: Mit Pr
  • Publish date: 01/01/1994
used Add to Cart $25.10
You save: 48%
Marketplace Item
new Add to Cart $954.89
Marketplace Item
Description: 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.
Expand description
Seller Condition Comments Price  
Darlene Paul
Location: Mineral Wells, WV
Very Good
Clean and tight. Has small stamp on bottom edges, otherwise unmarked! APO/FPO
[...]
$25.10
Ergodebooks
Location: Richmond, TX Ask seller a question
Good
Buy with confidence. Excellent Customer Service & Return policy.
$31.53
One Stop Shop Bookstore
Location: Memphis, TN
Good
Shipping Icon
$56.58
Ergodebooks
Location: Richmond, TX Ask seller a question
New
Buy with confidence. Excellent Customer Service & Return policy.
$954.89
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).