Gödel
| Use attributes for filter ! | |
| Typing discipline | strong |
|---|---|
| Stable release | 1. 5 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2282865 |
About Gödel
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.
