|
|
|
|
| LEADER |
02171nam a22003258i 4500 |
| 001 |
28220 |
| 003 |
UkCbUP |
| 005 |
20160413044026.0 |
| 006 |
m|||||o||d|||||||| |
| 007 |
cr|||||||||||| |
| 008 |
110217s2012||||enk o ||1 0|eng|d |
| 020 |
# |
# |
|a 9781139021326 (ebook)
|
| 020 |
# |
# |
|z 9780521879408 (hardback)
|
| 040 |
# |
# |
|a UkCbUP
|b eng
|c UkCbUP
|e rda
|
| 050 |
0 |
0 |
|a QA76.63
|b .M554 2012
|
| 082 |
0 |
0 |
|a 005.1/15
|2 23
|
| 100 |
1 |
# |
|a Miller, Dale,
|e author.
|
| 245 |
1 |
0 |
|a Programming with Higher-Order Logic /
|c Dale Miller, Gopalan Nadathur.
|
| 264 |
# |
1 |
|a Cambridge :
|b Cambridge University Press,
|c 2012.
|
| 300 |
# |
# |
|a 1 online resource (320 pages) :
|b digital, PDF file(s).
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 500 |
# |
# |
|a Title from publisher's bibliographic system (viewed on 13 Apr 2016).
|
| 520 |
# |
# |
|a 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.
|
| 650 |
# |
0 |
|a Logic programming
|
| 650 |
# |
0 |
|a Prolog (Computer program language)
|
| 700 |
1 |
# |
|a Nadathur, Gopalan,
|e author.
|
| 776 |
0 |
8 |
|i Print version:
|z 9780521879408
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1017/CBO9781139021326
|z View fulltext via EzAccess
|