START   ENDE  PROLOG  CLP   ECLiPSe  SUCHE   FALLBEISPIEL   ZURÜCK  

CLP

generate and test => constrain and generate

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