Gödel (Goedel) - Programming language

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

#1512on 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...

Gödel (Goedel) Wikipedia page
Gödel (Goedel) first developed 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.