Gödel (programming language): Difference between revisions

Revision as of 00:51, 12 November 2009

Latest revision as of 15:02, 30 August 2025

(41 intermediate revisions by 25 users not shown)

Line 1:

{{Short description|Declarative, general-purpose programming language}}

{{Infobox programming language

| name =Gödel

| logo =

| paradigm = [[declarativeDeclarative (programming)|declarative]], [[logicalLogic (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 = [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

*| httpwebsite = https://www.scs.leedscs.acunipr.ukit/~hill/GOEDEL/expgoedel.html

| website =

| file_ext =

}}

'''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==

Gödel has a module system, and it supports [[Arbitrary-precision arithmetic|arbitrary precision]] integers, arbitrary precision rationals, and also floating-point numbers. It can solve [[constraint (mathematics)|constraints]] over finite domains of integers and also linear rational constraints. It supports processing of [[finite setsset]]s. It also has a flexible computation rule and a pruning operator which generalises the commit of the concurrent logic programming languages.

Gödel's [[meta-logic]]al facilities provide support for meta-programs that do analysis, [[program transformation|transformation]], compilation, verification, and debugging, among other tasks.

==Sample code==

Line 51 ⟶ 52:

==External links==

* https://web.archive.org/web/20091207092823/http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html

*[http://www.cs.bris.ac.uk/~bowers/goedel.html Bristol Gödel site]{{Dead link|date=June 2009}}

* https://mitpress.mit.edu/9780262519151/the-godel-programming-language/

* http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html

{{Authority control}}

{{DEFAULTSORT:Godel (programming language)}}

[[Category:Logic programming languages|Godel]]

[[Category:Programming languages created in 1992]]

[[Category:Programming languages created by women]]

[[cs:Gödel (programovací jazyk)]]

[[es:Lenguaje de programación Gödel]]