Master your Minecraft
 
 

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


    The Powell's Playlist | October 21, 2014

    Anne Rice: IMG The Powell’s Playlist: Anne Rice



    These are the songs that wake me up, take me out of my worries and anxieties, wash my brain cells, and send me to the keyboard to write with new... 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.