generate and test => constrain and generate "constrain and generate" Paradigma auch bekannt als CLP(X) Schema