Goedel
<language> (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 is supported, as well as infinite precision arithmetic 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://ftp.cs.bris.ac.uk/goedel), FTP K U Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel).
E-mail: <
[email protected]>.
