Gödel

Paradigms	declarative programming, logic programming
Typing discipline	strong typing
First appeared	1992
Type	programming language

Sources: Wikidata (CC0) · Wikidata Q3294091