https://cuelang.org/docs/about/
A "data constraint language" with roots in logic programming.
Originally developed at Google with the intention of serving as a configuration language for Borg, the predecessor of Kubernetes. Based on a graph unification model popular (at least at the time) in computational linguistics.