Content deleted Content added
m Primary resources message removed since secondary references have been added |
m →Strategies: Update URL of KiCS2 |
||
Line 124:
===Strategies===
Due to the absence of side effects, a functional logic program can be executed with different strategies. To evaluate expressions, Curry uses a variant of the ''needed narrowing'' strategy which combines [[lazy evaluation]] with non-deterministic search strategies. In contrast to Prolog, which uses backtracking to search for solutions, Curry does not fix a particular search strategy. Hence, there are implementations of Curry, like [
==Discussion and further reading==
| |||