Goedel programming language - Programming language

Goedel programming language is a historical programming language created in 1994.

25Years Old

1,020Users

0Jobs

Goedel programming language ranks in the top 50% of languages
the Goedel programming language wikipedia page
Goedel programming language first appeared in 1994
I have 22 facts about Goedel programming language. just email me if you need more.

Example code 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.

Edit

Last updated February 11th, 2019