The Clausal Theory of Types

By: D. A. Wolfram

Write A Review

Hardcover | 21 June 1993

At a Glance

Hardcover
134 Pages

Dimensions(cm)
25.4 x 17.78 x 0.97

Hardcover

RRP $121.95

$111.75

or 4 interest-free payments of $27.94 with

Ships in 7 to 10 business days

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-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. 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Mathematical Theory of Computation Computer Programming & Software Development Programming & Scripting Languages Object-Oriented Programming or OOP Software Engineering

Other Editions and Formats

Paperback

Published: 30th July 2009

View Product

Introduction
Logic programming: a case study
Simply typed l-calculus
Higher-order logic
Higher-order equational unification
Higher-order equational logic programming
Table of Contents provided by Publisher. All Rights Reserved.

The Clausal Theory of Types

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Object-Oriented Programming or OOP

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Design Patterns

Elements of Reusable Object-Oriented Software

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

Mastering Regular Expressions

OREILLY

Programming Rust

Fast, Safe Systems Development 2nd Edition

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Effective Rust

35 Specific Ways to Improve Your Rust Code

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

Python in easy steps

In Easy Steps

Learning C# 3.0

OREILLY

Objects First with Java 6ed

A Practical Introduction Using BlueJ, Global Edition

Learning Python

Powerful Object-Oriented Programming

The Rust Programming Language Workbook

Interactive Rustlings Exercises and Solutions

Async Rust

Unleashing the Power of Fearless Concurrency

Taking Testing Seriously

The Rapid Software Testing Approach

Fight Fraud with Machine Learning

Deep Learning with R, Third Edition

Kotlin Brain Teasers

Exercise Your Mind

Perl Programming in easy steps

In Easy Steps

This product is categorised by