goedel
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of goedel word
- noun Technical meaning of 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]>. E-mail: <[email protected]>. 1
Information block about the term
Parts of speech for Goedel
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with g
- Words starting with go
- Words starting with goe
- Words starting with goed
- Words starting with goede
- Words starting with goedel
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?