Gödel (programming language): Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Revision as of 14:14, 7 March 2013 edit Addbot (talk \| contribs) Bots 2,838,809 edits m Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q3294091 ← Previous edit		Latest revision as of 15:02, 30 August 2025 edit undo BlockArranger (talk \| contribs) Extended confirmed users 2,200 edits Added short description Tags: Mobile edit Mobile app edit Android app edit App suggested edit App description add
(35 intermediate revisions by 19 users not shown)
Line 1: {{Short description\|Declarative, general-purpose programming language}} {{Infobox programming language \| name =Gödel Line 10 ⟶ 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 \| ~~http~~website = https://www.~~scs.leeds~~cs.acunipr.ukit/~hill/GOEDEL/expgoedel.html▼ ~~\| website =~~ \| 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]]. ==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 ~~sets~~set]]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]]