Nonfiction | Computer & Technology

Programming with Higher-Order Logic

by Dale Miller

2020-04-16 23:40:22

Compare Price
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 ... Read more
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. Less

Book Details

Publication date June 11, 2012
Languageeng
ISBN9781139512121
autor-image
Dale Miller
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 55.54
eBooks.com In Stock Buy GBP 26.99
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 55.54
eBooks.comIn Stock
Format
Condition
Buy GBP 26.99
Available Discount
No Discount available

Related Books

View All
Moodle Gradebook
☆ ☆ ☆ ☆ ☆
Make
☆ ☆ ☆ ☆ ☆
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments
☆ ☆ ☆ ☆ ☆
The Seismic Analysis Code
☆ ☆ ☆ ☆ ☆
Microsoft SharePoint 2013 Step by Step
☆ ☆ ☆ ☆ ☆
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide
☆ ☆ ☆ ☆ ☆
The Digital Filmmaking Handbook
☆ ☆ ☆ ☆ ☆
LPIC-1
☆ ☆ ☆ ☆ ☆
Rapid Prototyping Software for Avionics Systems
☆ ☆ ☆ ☆ ☆
Expanding and Networking Microcomputers
☆ ☆ ☆ ☆ ☆
Windows 10 Bible
☆ ☆ ☆ ☆ ☆
Abstract Methods in Information Theory
☆ ☆ ☆ ☆ ☆
Windows Server 2012 R2 Pocket Consultant Volume 2
☆ ☆ ☆ ☆ ☆
CISM Certified Information Security Manager All-in-One Exam Guide
☆ ☆ ☆ ☆ ☆
Drones For Dummies
☆ ☆ ☆ ☆ ☆
Type Theory and Formal Proof
☆ ☆ ☆ ☆ ☆
CompTIA Network+ Study Guide
☆ ☆ ☆ ☆ ☆
Network Programmability and Automation
☆ ☆ ☆ ☆ ☆
Python Programming for Arduino
☆ ☆ ☆ ☆ ☆
Troubleshooting Cisco Nexus Switches and NX-OS
☆ ☆ ☆ ☆ ☆
MCSA SQL 2016 BI Development Exam Ref 2-pack
☆ ☆ ☆ ☆ ☆
Complex Analysis with MATHEMATICA®
☆ ☆ ☆ ☆ ☆
Privacy and Legal Issues in Cloud Computing
☆ ☆ ☆ ☆ ☆
Practical Monitoring
☆ ☆ ☆ ☆ ☆
Topics at the Frontier of Statistics and Network Analysis
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS