Star Wars Sale
 
 

Special Offers see all

Enter to WIN!

Weekly drawing for $100 credit. Subscribe to PowellsBooks.news for a chance to win.
Privacy Policy

More at Powell's


Recently Viewed clear list


Original Essays | June 20, 2014

Lauren Owen: IMG The Other Vampire



It's a wild and thundery night. Inside a ramshackle old manor house, a beautiful young girl lies asleep in bed. At the window, a figure watches... Continue »
  1. $18.90 Sale Hardcover add to wish list

    The Quick

    Lauren Owen 9780812993271

spacer
Qualifying orders ship free.
$47.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
$47.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.