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.