Content deleted Content added
Cybercobra (talk | contribs) →External links: dead |
Cybercobra (talk | contribs) +infobox |
||
Line 1:
{{Infobox programming language
| name =Gödel
| logo =
| paradigm = [[declarative (programming)|declarative]], [[logical (programming)|logic]]
| year = 1992
| designer =John Lloyd & Patricia Hill
| developer = John Lloyd & Patricia Hill
| latest_release_version = 1.5 ({{release date|1995|8|11}})
| latest release date ={{release date|1995|8|11}}
| typing = [[strong typing|strong]]
| implementations =
| dialects = [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 =
| file_ext =
}}
'''Gödel''' is a [[declarative (programming)|declarative]], general-purpose [[programming language]] that adheres to the [[logical (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]].
| |||