Estoy particularmente interesado en soluciones al problema de que la búsqueda encapsulada puede depender del orden de evaluación.
De acuerdo con [1], la búsqueda encapsulada en PAKCS depende del orden de evaluación, mientras que en MCC no, pero su uso requiere conocimiento de la implementación del compilador y no sigue la especificación del lenguaje Curry. Esto fue escrito en 2007, por lo que, por supuesto, puede estar desactualizado ahora.
KiCS2 devuelve resultados de la búsqueda encapsulada en la mónada IO, pero no entiendo por qué.
[1] Braßel y Huch, sobre una integración más estrecha de la programación funcional y lógica , Proc. APLAS 2007