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.
| Property | Value |
|---|
| p: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. (en)
- Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación con 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. (es)
|
| p:hasPhotoCollection
| |
| p:reference
| |
| p:wikipage-es
| |
| 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. (en)
- Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación con 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. (es)
|
| rdfs:label
| - Gödel (programming language) (en)
- Lenguaje de programación Gödel (es)
|
| skos:subject
| |
| foaf:page
| |
| p:redirect
| |
![[RDF Data]](http://dbpedia.org/statics/sw-cube.png)
