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.