Gödel (Goedel) - Programming language

Gödel (Goedel) is a programming language created in 1992 by John Lloyd and Patricia Hill.

#1594on PLDB

32Years Old

Gödel is a declarative, general-purpose programming language that adheres to the 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.. Read more on Wikipedia...

Tags: programming language
Early development of Gödel (Goedel) happened in University of Bristol
Gödel (Goedel) on HOPL
Read more about Gödel (Goedel) on the web: 1.

Example from Wikipedia:

MODULE      GCD.
IMPORT      Integers.
 
PREDICATE   Gcd : Integer * Integer * Integer.
Gcd(i,j,d) <-
           CommonDivisor(i,j,d) &
           ~ SOME [e] (CommonDivisor(i,j,e) & e > d).
 
PREDICATE   CommonDivisor : Integer * Integer * Integer.
CommonDivisor(i,j,d) <-
           IF (i = 0 \/ j = 0)
           THEN
             d = Max(Abs(i),Abs(j))
           ELSE
             1 =< d =< Min(Abs(i),Abs(j)) &
             i Mod d = 0 &
             j Mod d = 0.