Gödel (programming language): Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Revision as of 05:52, 20 December 2017 edit InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,698,988 edits Rescuing 2 sources and tagging 0 as dead. #IABot (v1.6.1) (Balon Greyjoy) ← 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
(4 intermediate revisions by 3 users not shown)
Line 1: {{Short description\|Declarative, general-purpose programming language}} {{Infobox programming language \| name =Gödel Line 15 ⟶ 16: \| operating_system = [[Unix-like]] \| license = Non-commercial research/educational use only \| website = https://www.cs.unipr.it/~hill/GOEDEL/expgoedel.html ~~\| website =~~ \| file_ext = }} Line 22 ⟶ 23: ==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 52 ⟶ 53: ==External links== * https://web.archive.org/web/20091207092823/http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html * https://mitpress.mit.edu/9780262519151/the-godel-programming-language/ {{Authority control}} {{DEFAULTSORT:Godel (programming language)}} [[Category:Logic programming languages\|Godel]]