哥德尔是通用的声明性编程语言的基础的四个主要的编程范式，即，一个逻辑编程。它是由帕特里夏 · 希尔和约翰 · 劳埃德 · 开发。

的基本理念和哥德尔的功能主要取自 Prolog 语言。它的名字命名的逻辑学家库尔特 · 哥德尔，虽然首字母缩略词 ' 神 ' s 自己的声明性语言 ' 有时使用。