Gödel (programming language): Difference between revisions

Revision as of 09:39, 3 October 2010

Revision as of 19:50, 9 December 2012

Line 2:

| name =Gödel

| logo =

| paradigm = [[declarativeDeclarative (programming)|declarative]], [[logicalLogic (programming)|logic]]

| year = 1992

| designer =John Lloyd & Patricia Hill

Line 19:

}}

'''Gödel''' is a [[declarativeDeclarative (programming)|declarative]], general-purpose [[programming language]] that adheres to the [[logicalLogic (programming)|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]].

==Features==