Also found in: Dictionary, Thesaurus.
Related to Goedel: Godel numbering


(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 <jiwei@lapu.bristol.ac.uk>.

FTP Bristol, UK, FTP K U Leuven.

E-mail: <goedel@compsci.bristol.ac.uk>.
Mentioned in ?
References in periodicals archive ?
Brythonic, which became Welsh, and Goedel, which became Gaelic, existed alongside each other with Brythonic eventually dominating Goedelic.
A Note on Wittgensteins's "Notorious Paragraph" about the Goedel Theorem, JULIET FLOYD and HILARY PUTNAM
Other writers then confused Catygern with Ceredic and with Cyndeyrn (Keynt y gern in Goedel, ie.
In May, he was awarded the 1999 Goedel Prize for his paper, "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer.