Gödel
The Gödel programming language is a declarative programming language that utilizes logic programming and constraint solving. Its main uses include solving combinatorial problems, implementing artificial intelligence algorithms, and modeling complex systems.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.