Pure

Pure is a functional and declarative programming language that first appeared in 2008.

Paradigms
Functional, Logic and declarative
First appeared
2008
Reference
Wikipedia article