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... This description may be from another edition of this product.