Wintersalen Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    Original Essays | September 15, 2014

    Lois Leveen: IMG Forsooth Me Not: Shakespeare, Juliet, Her Nurse, and a Novel



    There's this writer, William Shakespeare. Perhaps you've heard of him. He wrote this play, Romeo and Juliet. Maybe you've heard of it as well. It's... 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

This title in other editions

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.