Comment by agumonkey

3 years ago

CUE talks about unification, is that similar to prolog meaning of that term ?

It certainly has that feel... that you can make statements (express constraints) about a given configuration item — in any order — and the final result falls out (having satisfied all constraints or "errors").