Since Curry is able to solve equations containing function calls with unknown values, its execution mechanism is based on non-deterministic computations, similarly to logic programming.
Din moment ce Curry este capabil să rezolve ecuațiile care conțin apeluri funcționale cu valori necunoscute, mecanismul de execuție se bazează pe calcule nedeterministe, la fel ca la programarea logică.