Gödel es un lenguaje de programación declarativo, de propósito general, adherido al paradigma de la programación lógica.