Gödel (programming language)
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.
- Comment
- enGö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.
- Designer
- enJohn Lloyd & Patricia Hill
- Developer
- enJohn Lloyd & Patricia Hill
- Dialects
- expgoedel.html
- Has abstract
- enGö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.
- Hypernym
- Language
- Is primary topic of
- Gödel (programming language)
- Label
- enGödel (programming language)
- LatestReleaseDate
- 11 August 1995
- Latest release date
- 11 August 1995
- LatestReleaseVersion
- 1.50
- Latest release version
- 1.5
- License
- enNon-commercial research/educational use only
- Link from a Wikipage to an external page
- web.archive.org/web/20091207092823/http:/www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html
- Link from a Wikipage to another Wikipage
- Arbitrary-precision arithmetic
- Category:Logic programming languages
- Category:Programming languages created by women
- Category:Programming languages created in 1992
- Constraint (mathematics)
- Declarative programming
- Finite set
- Kurt Gödel
- Logic programming
- Many-sorted logic
- Meta-logic
- Parametric polymorphism
- Programming language
- Programming paradigm
- Program transformation
- Strongly typed language
- Strong typing
- Unix-like
- Name
- enGödel
- Name
- enGödel
- OperatingSystem
- Unix-like
- Paradigm
- Declarative programming
- Logic programming
- SameAs
- 32aBa
- Gödel (lenguaje de programación)
- Gödel (linguagem de programação)
- Gödel (programovací jazyk)
- m.03rky7
- Q3294091
- گودل (زبان برنامهنویسی)
- Subject
- Category:Logic programming languages
- Category:Programming languages created by women
- Category:Programming languages created in 1992
- Typing
- Strong typing
- WasDerivedFrom
- Gödel (programming language)?oldid=1014502264&ns=0
- WikiPageLength
- 3385
- Wikipage page ID
- 936719
- Wikipage revision ID
- 1014502264
- WikiPageUsesTemplate
- Template:Authority control
- Template:Infobox programming language
- Template:Release date
- Year
- 1992