Gödel
Gödel is a historical programming language created in 1992. 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...
| 27Years Old | 20Users | 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. 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 December 10th, 2019