Miranda

Miranda is a functional and declarative programming language that first appeared in 1985.

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