Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,515,247,736 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Goedel

   Also found in: Wikipedia 0.11 sec.
(language)Goedel - (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>.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in ? References in periodicals archive
 
In addition, he worked at Bristol University in England where he designed and implemented the second generation logic language Goedel, which was adopted as the workbench of a multi-year European Esprit Computational Logic project involving over 25 universities and research institutions.
ADVISORY/Taral Networks' Co-founders to Discuss ''Third Party Content ... by Business Wire
In addition, he worked at Bristol University in England where he designed and implemented the second generation logic language Goedel, which was adopted as the workbench of a multi-year European Esprit Computational Logic project involving over 25 universities and research institutions.
ADVISORY/Taral Networks' Co-founders to Discuss ''Third Party Content ... by Business Wire
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.
AT&T Labs' Peter Shor Named 1999 MacArthur Fellow for Potentially ... by Business Wire
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.