Goedel

language (After the mathematician Kurt Godel) A

declarative, general-purpose language for artificialintelligence 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 is supported, as well as infinite precisionarithmetic and finite sets.

Goedel 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, and debugging.

A significant subset of Goedel has been implemented on top of

SISCtus Prolog by Jiwei Wang [email protected].

FTP Bristol, UK , FTP K ULeuven .

E-mail: [email protected].

(1995-05-02)