Gödel (programming language)
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.
primaryTopic
Gödel (programming language)
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.
has abstract
Gödel es un lenguaje de progra ...... en honor al lógico Kurt Gödel.
@es
Gödel je v informatice deklara ...... rtu Gödelovi narozeném v Brně.
@cs
Gödel é um linguagem de progra ...... omenagem ao lógico Kurt Gödel.
@pt
latest release date
1995-08-11
latest release version
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,014,502,264
Link from a Wikipage to another Wikipage
designer
John Lloyd & Patricia Hill
@en
developer
John Lloyd & Patricia Hill
@en
dialects
latest release date
1995-08-11
latest release version
license
Non-commercial research/educational use only
@en
name
Gödel
@en
operating system
typing
wikiPageUsesTemplate
subject
hypernym
comment
Gödel es un lenguaje de progra ...... en honor al lógico Kurt Gödel.
@es
Gödel je v informatice deklara ...... rtu Gödelovi narozeném v Brně.
@cs
Gödel é um linguagem de progra ...... omenagem ao lógico Kurt Gödel.
@pt
label
Gödel (lenguaje de programación)
@es
Gödel (linguagem de programação)
@pt
Gödel (programming language)
@en
Gödel (programovací jazyk)
@cs
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Gödel
@en