START
ENDE
PROLOG
CLP
ECLiPSe
SUCHE
FALLBEISPIEL
ZURÜCK
Suchstrategien
solve(Data) :- model(Data, Variables), search(Variables), print_solution(Variables).