About: Gödel (programming language)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Language106282651, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FGödel_%28programming_language%29

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.

AttributesValues
rdf:type
rdfs:label
  • Gödel (programovacĂ­ jazyk)
  • Gödel (programming language)
  • Gödel (lenguaje de programaciĂłn)
  • Gödel (linguagem de programação)
rdfs:comment
  • 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 rakouskĂ©m logiku Kurtu Gödelovi narozenĂ©m v BrnÄ›.
  • Gödel es un lenguaje de programaciĂłn declarativo, de propĂłsito general, adherido 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.
  • 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 Ă© um linguagem de programação declarativa, de propĂłsito geral que adere ao paradigma lĂłgico. É uma linguagem fortemente tipada, o sistema de tipos Ă© baseado em muitos ordenados da lĂłgica com polimorfismo paramĂ©trico. Seu nome Ă© uma homenagem ao lĂłgico Kurt Gödel.
foaf:name
  • Gödel
name
  • Gödel
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
designer
  • John Lloyd & Patricia Hill
developer
  • John Lloyd & Patricia Hill
latest release date
latest release version
license
  • Non-commercial research/educational use only
operating system
paradigm
typing
year
dialects
has abstract
  • 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 rakouskĂ©m logiku Kurtu Gödelovi narozenĂ©m v BrnÄ›.
  • Gödel es un lenguaje de programaciĂłn declarativo, de propĂłsito general, adherido 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.
  • 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 Ă© um linguagem de programação declarativa, de propĂłsito geral que adere ao paradigma lĂłgico. É uma linguagem fortemente tipada, o sistema de tipos Ă© baseado em muitos ordenados da lĂłgica com polimorfismo paramĂ©trico. Seu nome Ă© uma homenagem ao lĂłgico Kurt Gödel.
latest release date
latest release version
  • 1.5
prov:wasDerivedFrom
page length (characters) of wiki page
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software