
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. G del is a new, general-purpose, declarative programming language that is based on the paradigm...