(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)