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