4 ms·

How does Curry manage ambiguity in non-deterministic computations—especially when multiple valid instantiations exist for a free variable?

• pjmlp 1y ago
  Probably like Prolog, we get to generate all possible variations.