ENGLISH

The Gödel Programming Language

By Patricia Hill , John Lloyd

Book information

Publisher
The MIT Press
Year
1994
ISBN
9780262082297
Language
english
Format
DJVU
Filesize
2 MB (2081257 bytes)
Series
Logic Programming
Pages
370\370
Library
Kolxo3
DPI
600
Time added
2010-11-11 16:01:50

Description

Gödel is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book gives a tutorial overview of Gödel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic. The Gödel 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, debugging, and the like. The declarative nature of Gödel 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. Logic Programming series

Similar books