Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Goedel
Jump to user comments
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
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.