Comment on Curry: A functional logic programming languageComments−badmonster1yHow does Curry manage ambiguity in non-deterministic computations—especially when multiple valid instantiations exist for a free variable?−pjmlp1yProbably like Prolog, we get to generate all possible variations.
Comments
How does Curry manage ambiguity in non-deterministic computations—especially when multiple valid instantiations exist for a free variable?
Probably like Prolog, we get to generate all possible variations.