Nonfiction | Computer & Technology
Programming with Higher-Order Logic
by Dale Miller 2020-04-16 20:10:22
image1
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
  • Publication date
  • Language
  • ISBN
  • June 11, 2012
  • eng
  • 9781139512121
autor-image
Dale Miller
Author
...
Compare Prices
image
Buy CAD 55.54
image
Buy GBP 26.99
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

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

Stay in touch.

© 2024 AMPLE READS