Gödel is a historical programming language created in 1992.

27Years Old 1,245Users 0Jobs
  • Gödel ranks in the top 50% of languages
  • the Gödel wikipedia page
  • Gödel first appeared in 1992
  • I have 40 facts about Gödel. 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