|
|
|
Item Details
Title:
|
GODEL PROGRAMMING LANGUAGE
|
By: |
Patricia Hill, John Lloyd, J.Alan Robinson (Foreword) |
Format: |
Hardback |
List price:
|
£48.95 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0262082292 |
ISBN 13: |
9780262082297 |
Publisher: |
MIT PRESS LTD |
Pub. date: |
5 April, 1994 |
Series: |
Logic Programming |
Pages: |
368 |
Description: |
Goedel is a general purpose, declarative programming language that is based on the paradigm of logic programming. This book gives a tutorial overview of Goedel and provides a formal definition of the syntax and semantics of the language, and covers background material on logic. |
Synopsis: |
This book gives a tutorial overview of Goedel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic. The Goedel language supports types and modules. It has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, and debugging for example. The declarative nature of Goedel makes it well suited for use as a teaching language, narrows the gap that currently exists between theory and practice in logic programming, makes possible advanced software engineering tools such as declarative debuggers and compiler generators, reduces the effort involved in providing a parallel implementation of the language, and offers substantial scope for parallelization in such implementations. |
Illustrations: |
bibliography, indexes |
Publication: |
US |
Imprint: |
MIT Press |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|