[programming language] Gödel is a general-purpose, declarative programming language based on one of the four main programming paradigms, namely, logic programming. It was developed by Patricia M. Hill and John W. Lloyd. Basic ideas and features of Gödel are mainly taken from Prolog language. It is named in honour of logician Kurt Gödel, ...
Found on
http://en.wikipedia.org/wiki/Gödel_(programming_language)
1906–78, U.S. mathematician and logician, born in Czechoslovakia.
Found on
https://www.infoplease.com/dictionary/godel
No exact match found.
