Goedel programming language is a historical programming language created in 1994. 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...

25Years Old 20Users 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. what would you like to know? email me and let me know how I can help.

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.

Last updated August 22nd, 2019