Mercury

Mercury is a logic and functional programming language that first appeared in 1995.

Paradigms: Logic and declarative, Functional, Object-oriented
First appeared: 1995
Reference: Wikipedia article