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.

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.

Part 1 Overview of Goedel: introduction
types
formulas
equality and numbers
modules
various data types
control
input/output
meta-programming
example programs. Part 2 Definition of Goedel: syntax
semantics
system modules and utilities. Appendix: polymorphic many-sorted logic.