Gödel (programming language)
| Gödel | |
|---|---|
| Paradigm | declarative, logic |
| Designed by | John Lloyd & Patricia Hill |
| Developer | John Lloyd & Patricia Hill |
| First appeared | 1992 |
| Stable release | 1.5
/ August 11, 1995 |
| Typing discipline | strong |
| OS | Unix-like |
| License | Non-commercial research/educational use only |
| Website | https://www.cs.unipr.it/~hill/GOEDEL/expgoedel.html |
| Dialects | |
| Gödel with Generic (Parametrised) Modules | |
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.