Janus (concurrent constraint programming language)

Janus (concurrent constraint programming language) is a logic programming language that first appeared in 1990.

Paradigm
Logic and declarative
First appeared
1990
Reference
Wikipedia article