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

Created Year: 1992
Named after: Kurt Gödel

Wikidata: Q3294091

Programming paradigms: logic programming • declarative programming