Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

G枚del (Goedel)

G枚del (Goedel) - Programming language

< >

G枚del (Goedel) is a programming language created in 1992 by John Lloyd and Patricia Hill.

#1449on PLDB 31Years Old 95Users
0Books 0Papers

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

Example 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.
zenscript.html 路 godel.html 路 parenthetic.html

View source

- Build the next great programming language Search Day 214 About Blog Acknowledgements Traffic Traffic Today GitHub