Mega Dose
 
 

Recently Viewed clear list


Original Essays | September 18, 2014

Lin Enger: IMG Knowing vs. Knowing



On a hot July evening years ago, my Toyota Tercel overheated on a flat stretch of highway north of Cedar Rapids, Iowa. A steam geyser shot up from... Continue »

spacer
Qualifying orders ship free.
$33.00
Used Hardcover
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Local Warehouse Computer Languages- Prolog

More copies of this ISBN

Programming with Higher-Order Logic

by

Programming with Higher-Order Logic Cover

 

Synopses & Reviews

Publisher Comments:

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called Prolog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and -terms and -calculus expressions can be encoded in Prolog.

Product Details

ISBN:
9780521879408
Author:
Miller, Dale
Publisher:
Cambridge University Press
Subject:
Software Engineering - Programming and Languages
Copyright:
Publication Date:
20120631
Binding:
HARDCOVER
Language:
English

Related Subjects

Computers and Internet » Computer Languages » Prolog
Computers and Internet » Software Engineering » Object Oriented Programming
Computers and Internet » Software Engineering » Programming and Languages
History and Social Science » Military » General History

Programming with Higher-Order Logic Used Hardcover
0 stars - 0 reviews
$33.00 In Stock
Product details pages Cambridge University Press - English 9780521879408 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.