CUE is an open-source data validation language rooted in logic programming. It provides powerful,...