When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Programming With Higher-Order Logic, Hardcover by Miller, Dale; Nadathur, Gop...
- Item No : 357273686220
- Condition : Brand New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $68.40
-
* Item Description
- Programming With Higher-Order Logic, Hardcover by Miller, Dale; Nadathur, Gopalan, ISBN 052187940X, ISBN-13 9780521879408, Brand New, Free shipping in the US
"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 topicsare 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 [Lambda]Prolog is developed by applying this view to higher-order logic. Finally, amethodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and [lambda]-terms and [pi]-calculus expressions can be encoded in [Lambda]Prolog"--
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
