Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-G�del Theorem and resolution, which are then extrapolated to a ...
Read More
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-G�del Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest to all working in declarative programming.
Read Less
Add this copy of The Clausal Theory of Types (Cambridge Tracts in to cart. $48.31, very good condition, Sold by Fireside Bookshop rated 4.0 out of 5 stars, ships from Stroud, GLOUCESTERSHIRE, UNITED KINGDOM, published 1993 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good in No d/j as Published jacket. Size: 8vo-over 7¾"-9¾" tall; Type: Book N.B. Small plain label to ffep. Light rubbing to corners of boards and head and tail of spine. (MATHEMATICS)
Add this copy of The Clausal Theory of Types (Cambridge Tracts in to cart. $54.86, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by Cambridge University Press.
Add this copy of The Clausal Theory of Types to cart. $71.17, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1993 by Cambridge University Press.
Add this copy of The Clausal Theory of Types (Cambridge Tracts in to cart. $74.16, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1993 by Cambridge University Press.
Add this copy of The Clausal Theory of Types to cart. $87.55, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1993 by Cambridge University Press.
Add this copy of The Clausal Theory of Types (Cambridge Tracts in to cart. $88.68, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by Cambridge University Press.
