e/Gödel (programming language)

Information
has gloss	eng: Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It is named after logician Kurt Gödel.
lexicalization	eng: Godel programming language
lexicalization	eng: Godel
lexicalization	eng: Goedel programming language
lexicalization	eng: Goedel
lexicalization	eng: Gödel programming language
lexicalization	eng: Gödel
instance of	(noun) (computer science) a language designed for programming computers programing language, programming language

Meaning
Czech
has gloss	ces: Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma. Jedná se o silně typový jazyk, jehož systém je založen na mnohotříděné logice s parametrickým polymorfismem. Jazyk je pojmenován po logiku Kurtu Gödelovi.
lexicalization	ces: Gödel
Castilian
has gloss	spa: Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many-sorted logic con polimorfismo parametrizado. Se le dio ese nombre en honor al lógico Kurt Gödel.
lexicalization	spa: Lenguaje de programacion Godel
lexicalization	spa: Lenguaje de programación Gödel