λProlog
λProlog is a logic programming language that combines features of both functional and logic programming paradigms. It is mainly used for research in logic programming, theorem proving, and knowledge representation.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.