Revision as of 10:55, 25 June 2025 edit Owl2442 (talk \| contribs) 42 edits m →Functional patterns: Fix author name ← Previous edit		Revision as of 10:56, 25 June 2025 edit undo Owl2442 (talk \| contribs) 42 edits m →Non-determinism: Fix author namae Next edit →
Line 110: x ? y = y Thus, the evaluation of the expression {{Mono\|0 ? 1}} returns {{Mono\|0}} as well as {{Mono\|1}}. Computing with non-deterministic operations and computing with free variables by narrowing has the same expressive power.<ref>{{cite book \|last1=~~Sergio~~Antoy \|first1=~~Antoy~~Sergio \|last2=Hanus \|first2=Michael \|title=Logic Programming \|chapter=Overlapping Rules and Logic Variables in Functional Logic Programs \|series=Lecture Notes in Computer Science \|year=2006 \|doi=10.1007/11799573_9 \|volume=4079 \|pages=87–101 \|isbn=978-3-540-36635-5}}</ref> The rules defining {{Mono\|?}} show an important feature of Curry: all rules are tried in order to evaluate some operation. Hence, one can define by

Curry (programming language): Difference between revisions