The Gödel Programming Language (Logic Programming) - Hardcover

Hill, Patricia; Lloyd, John W.

 
9780262082297: The Gödel Programming Language (Logic Programming)
Hardcover
ISBN 10: 0262082292 ISBN 13: 9780262082297
Verlag: MIT Press, 1994

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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. Goedel 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 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, debugging, and the like. 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. Logic Programming series

Biografía del autor

Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
MIT Press
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0262082292
ISBN 13 
9780262082297
Einband
Tapa dura
Anzahl der Seiten
368
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780262519151: The Gödel Programming Language (Logic Programming)

Vorgestellte Ausgabe

ISBN 10:  0262519151 ISBN 13:  9780262519151
Verlag: MIT Press, 1994
Softcover