In contrast to Prolog, which uses backtracking to search for solutions, Curry does not fix a particular search strategy.
Im Gegensatz zu Prolog, das Rücksetzverfahren auf der Suche nach Lösungen verwendet, beschränkt sich Curry nicht auf eine bestimmte Strategie.