Computers & Internet Books:

The Clausal Theory of Types

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!
$178.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 2-3 weeks

Buy Now, Pay Later with:

4 payments of $44.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-20 May using International Courier

Description

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 new and concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Godel 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. The book can be used for graduate courses in theorem-proving, but will be of interest to all working in declarative programming.
Release date Australia
April 22nd, 1993
Author
Audience
  • Professional & Vocational
Pages
134
Dimensions
177x254x11
ISBN-13
9780521395380
Product ID
1769984

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...