Euclid

Euclid is a multi-paradigm and structured programming language.

Paradigms
Imperative, Functional
Reference
Wikipedia article