Prolog

Prolog is a logic programming language that first appeared in 1972.

Paradigm
Logic and declarative
First appeared
1972
Reference
Wikipedia article