Janus (concurrent constraint programming language)
Janus is a computer programming language partially described by K. Kahn and Vijay A. Saraswat in the paper "Actors as a special case of concurrent constraint (logic) programming" in 1990. It is a concurrent constraint language without backtracking.
Source: Wikipedia — Janus (concurrent constraint programming language) (CC BY-SA 4.0)