From mgeller@ATHENA.MIT.EDU Wed Mar 30 17:29:28 EST 1994
Article: 10114 of comp.lang.prolog
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:10114
Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!MathWorks.Com!news.kei.com!bloom-beacon.mit.edu!senator-bedfellow.mit.edu!mgeller
From: mgeller@ATHENA.MIT.EDU (Marilyn Geller)
Newsgroups: comp.lang.prolog
Subject: MIT Press Book Announcement
Date: 30 Mar 1994 19:30:12 GMT
Organization: MIT Press
Lines: 74
Distribution: world
Message-ID: <2nck04$g4u@senator-bedfellow.MIT.EDU>
NNTP-Posting-Host: alfredo.mit.edu

Just released by the MIT Press:

THE GODEL PROGRAMMING LANGUAGE

Patricia Hill and John Lloyd


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.
  
Patricia Hill is Senior Research Fellow in the School of 
Computer Studies at the University of Leeds. John Lloyd is 
Professor of Computer Science at the University of Bristol, 
and the author of Foundations of Logic Programming.

Logic Programming series
May 1994 -- 7 x 9 -- 370 pp. -- $45.00
0-262-08229-2 
Computer Science / Programming Languages

MIT Press books are available at bookstores or directly from the publisher. 

For orders in the US
mitpress-orders@mit.edu

Call toll free: 1-800-356-0343 or (617) 625-8569. Or write The MIT Press
55 Hayward Street, Cambridge, MA 02142-1399, U.S.A.

When ordering, please specify this code: OML X59

For inquiries:
mitpress-order-inq@mit.edu

To access our catalogs telnet to: technifo.mit.edu and look under
\ Around MIT \ Offices and Services. This server is also a Gopher
server (gopher.mit.edu)

For price and order information in the UK, Eire and Continental Europe
please contact our London office at 14 Bloomsbury Square, London WC1A
2LP England, Tel (071) 404 0712 Fax (071) 404 0610 or via e-mail
100315.1423@compuserve.com

In Australia, please contact Astam Books, 57-61 John Street, Leichhardt,
NSW 2040 Australia Tel (02) 566 4400 Fax (02) 566 4411.

Please note that prices may be higher outside the US.

In all other areas or in case of difficulty, please contact The MIT
Press, International Department, 55 Hayward Street, Cambridge, MA 02142
USA Tel 617 253 2887 Fax 617 253 1709 or e-mail curtin@mit.edu