Editing Gödel (programming language) (section)

{{Infobox programming language
| name =Gödel
| logo =
| paradigm = [[Declarative programming|declarative]], [[Logic programming|logic]]
| year = 1992
| designer =John Lloyd & Patricia Hill
| developer = John Lloyd & Patricia Hill
| latest_release_version = 1.5
| latest release date ={{release date|1995|8|11}}
| typing = [[strong typing|strong]]
| implementations =
| dialects = [https://web.archive.org/web/20091207092823/http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html Gödel with Generic (Parametrised) Modules]
| influenced_by =
| influenced =
| operating_system = [[Unix-like]]
| license = Non-commercial research/educational use only
| website = https://www.cs.unipr.it/~hill/GOEDEL/expgoedel.html
| file_ext =
}}

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