Modelica

Modelica is a declarative programming language that first appeared in 1997.

Paradigm
Logic and declarative
First appeared
1997
Reference
Wikipedia article