(After the mathematician Kurt Gödel) A declarative, general-purpose language for {artificial intelligence} based on {logic programming}. It can be regarded as a successor to Prolog. The type system is based on many-sorted logic with parametric polymorphism. Modularity issupported, as well as {infinite precision arithmetic} and {finite set}s. Goedel has a rich collection of system modules and providesconstraintsolving in several domains. It also offersmetalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, and debugging. A significant subset of Goedel has been implemented on top of sIsCtus Prolog by Jiwei Wang stol.ac.uk>. FTP Bristol, UK , {FTP K U Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel)}. E-mail: sci.bristol.ac.uk>. (1995-05-02)