Lucid

Lucid is a high-level declarative programming language that is used primarily for implementing and analyzing mathematical algorithms and functions. It is specifically designed for tasks involving symbolic computations, such as computer algebra systems and theorem proving.

Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.

• Wikipedia page