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 .
FTP Bristol, UK (ftp://ftp.cs.bris.ac.uk/goedel), FTP K U Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel).
E-mail: .
(1995-05-02)
Read Also:
- Goel
in Hebrew the participle of the verb _gaal_, “to redeem.” It is rendered in the Authorized Version “kinsman,” Num. 5:8; Ruth 3:12; 4:1,6,8; “redeemer,” Job 19:25; “avenger,” Num. 35:12; Deut. 19:6, etc. The Jewish law gave the right of redeeming and repurchasing, as well as of avenging blood, to the next relative, who was accordingly […]
- Goeppert-mayer
Goeppert-Mayer (gŭp’ûrt-mā’ər) German-born American physicist who, with Hans Jensen, developed a model of the atomic nucleus that explained why certain nuclei were stable and had an unusual number of stable isotopes. For this work, Goeppert-Mayer and Jensen shared the 1963 Nobel Prize for physics with American physicist Eugene Wigner.
- Goering
[gair-ing, gur-; German gœ-ring] /ˈgɛər ɪŋ, ˈgɜr-; German ˈgœ rɪŋ/ noun 1. Hermann Wilhelm [her-mahn vil-helm,, hur-muh n wil-helm;; German her-mahn vil-helm] /ˈhɛr mɑn ˈvɪl hɛlm,, ˈhɜr mən ˈwɪl hɛlm;; German ˈhɛr mɑn ˈvɪl hɛlm/ (Show IPA), . [gair-ing, gur-; German gœ-ring] /ˈgɛər ɪŋ, ˈgɜr-; German ˈgœ rɪŋ/ noun 1. Hermann Wilhelm [her-mahn vil-helm,, hur-muh […]
- Goer
[goh-er] /ˈgoʊ ər/ noun 1. a person or thing that : We sat in the lobby watching the comers and goers. 2. a person who attends frequently or habitually (usually used in combination): churchgoer; moviegoer. /ˈɡəʊə/ noun 1. 2. an energetic person 3. (informal) an acceptable or feasible idea, proposal, etc 4. (Austral & NZ, […]
- Goes
[gohz] /goʊz/ verb 1. 3rd person singular present indicative of 1 . noun 2. plural of 1 . [goos] /gus/ noun 1. Hugo van der [hyoo-goh van der;; Dutch hy-goh vahn duh r] /ˈhyu goʊ væn dər;; Dutch ˈhü goʊ vɑn dər/ (Show IPA), c1440–82, Flemish painter. 1. . [goh] /goʊ/ verb (used without object), […]