KRL

KRL is a logic programming language that first appeared in 1976.

Paradigm
Logic and declarative
First appeared
1976
Reference
Wikipedia article