Escher

Escher is a declarative and functional programming language.

Paradigms
Logic and declarative, Functional
Reference
Wikipedia article