Tags: 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 although the acronym ‘God’s Own DEclarative Language’ is sometimes used.Gödel is a strongly typed system based on many-sorted logic with parametric polymorphism.