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.

PropertyValue
dbpprop:abstract
  • 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.
  • 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.
  • 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.
dbpprop:designer
  • John Lloyd & Patricia Hill
dbpprop:developer
  • John Lloyd & Patricia Hill
dbpprop:dialects
dbpprop:hasPhotoCollection
dbpprop:latestReleaseDate
dbpprop:latestReleaseVersion
dbpprop:license
  • Non-commercial research/educational use only
dbpprop:name
  • Gödel
dbpprop:operatingSystem
dbpprop:paradigm
dbpprop:reference
dbpprop:typing
dbpprop:wikiPageUsesTemplate
dbpprop:year
  • 1992 (xsd:integer)
rdfs:comment
  • 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.
  • 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.
  • 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.
rdfs:label
  • Gödel (programming language)
  • Gödel (programovací jazyk)
  • Lenguaje de programación Gödel
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of