The Godel Programming Language - Rilegato

Hill, Patricia; Lloyd, John

 
9780262082297: The Godel Programming Language
Rilegato
ISBN 10: 0262082292 ISBN 13: 9780262082297
Casa editrice: Mit Pr, 1994

Sinossi

Godel 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 Godel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.

The Godel 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 Godel 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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Hill Patricia Lloyd John

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Mit Pr
Data di pubblicazione
1994
Lingua
Inglese
ISBN 10 
0262082292
ISBN 13 
9780262082297
Rilegatura
Copertina rigida
Numero di pagine
368
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780262519151: The Gödel Programming Language

Edizione in evidenza

ISBN 10:  0262519151 ISBN 13:  9780262519151
Casa editrice: Mit Pr, 1994
Brossura