Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Gödel (programming language)
open-in-new
<p>Gödel is a <a href="/facts/Declarative_programming/gogtdzcJ">declarative</a>, general-purpose <a href="/facts/Programming_language/cWTYbgWa">programming language</a> that adheres to the <a href="/facts/Logic_programming/Xgh8lj3F">logic</a> <a href="/facts/Programming_paradigm/7LwgRpB3">programming paradigm</a>. It is a <a href="/facts/Strongly_typed_language/WYexudnr">strongly typed language</a>, the type system being based on <a href="/facts/Many-sorted_logic/GBbEnWqG">many-sorted logic</a> with <a href="/facts/Parametric_polymorphism/ETb0G1zd">parametric polymorphism</a>. It is named after logician <a href="/facts/Kurt_G%25C3%25B6del/P14DqKqK">Kurt Gödel</a>. </p>