[d4tocchini]

Yeah, common in the Constraint-based, or Logic, Programming paradigm. This particular spec was established in Greg Badros & Alan Borning's Constraint CSS (CCSS):

https://www.cs.washington.edu/research/constraints/web/ccss-...

[lewispollard]

Interesting, thanks.