Gödel

Gödel is a declarative and logic programming language that first appeared in 1992.

Paradigm
Logic and declarative
First appeared
1992
Reference
Wikipedia article