Word:

Goedel

(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 .

FTP Bristol, UK, FTP K U Leuven.

E-mail: .
Browse
Godown
godparent
Godroon
Godsend
Godship
Godsib
Godson
Godspeed
Godunov
Godward
Godwin Austen
Godwin's Law
Godwit
Godzilla
Godzillagram
Goebbels
-- Goedel --
Goel
Goeland
Goemin
Goen
Goer
Goering
Goeteborg
Goethals
Goethe
Goethean
Goethian
goethite
Goety
gofer
Goff
Goffer
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy