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
Ver http://www-ps.informatik.uni-kiel.de/kics2/lib/Findall.html : dice que el
IO
enfoque basado está en desuso y la forma preferida no es elSetFunctions
módulo de Curry . Este nuevo diseñoIO
elimina los valores de retorno envueltos y tiene otros medios para evitar filtrar el indeterminismo y la no transparencia referencial en la tierra puramente FP.fuente