Ich bin besonders an Lösungen für das Problem interessiert, dass die gekapselte Suche von der Reihenfolge der Bewertung abhängen kann.
Laut [1] hängt die gekapselte Suche in PAKCS von der Reihenfolge der Auswertung ab, während dies in MCC nicht der Fall ist. Die Verwendung erfordert jedoch Kenntnisse über die Compiler-Implementierung und folgt nicht der Curry-Sprachspezifikation. Dies wurde 2007 geschrieben, daher kann es jetzt natürlich veraltet sein.
KiCS2 gibt Ergebnisse der gekapselten Suche in der E / A-Monade zurück, aber ich verstehe nicht warum.
[1] Braßel und Huch, Über eine engere Integration von funktionaler und logischer Programmierung , Proc. APLAS 2007