In contrast to Prolog, which uses backtracking to search for solutions, Curry does not fix a particular search strategy.
Spre deosebire de Prolog, care utilizează backtracking pentru a căuta soluții, Curry nu stabilește o strategie specială de căutare.