Willkommen, schön sind Sie da!
Logo Ex Libris

Programming with Higher-Order Logic

  • E-Book (epub)
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provi... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 39.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Beschreibung

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 I 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 I -terms and I -calculus expressions can be encoded in I Prolog.

Produktinformationen

Titel: Programming with Higher-Order Logic
Autor:
EAN: 9781139506298
ISBN: 978-1-139-50629-8
Digitaler Kopierschutz: Adobe-DRM
Format: E-Book (epub)
Herausgeber: Cambridge University Press
Genre: Anwendungs-Software
Veröffentlichung: 11.06.2012
Jahr: 2012
Untertitel: Englisch