prolog - 从 (SWI) Prolog 调用 Curry (PAKCS)

Question

我无法找到任何现有的文档或提及从诸如 SWI Prolog 之类的 Prolog 系统调用 Curry 程序的编译输出（当使用 PAKCS 编译时，显然不是 KICS）。鉴于 PAKCS 的编译输出保持或可以保持 Curry 源代码中函数/谓词的原始名称，应该是可能的。

以前有没有人尝试过这样的事情并可以提供一些指示？

或者换句话说，如何将 Curry 程序编译成可重用的库，不仅可以从其他 Curry 程序调用，还可以从 Prolog 程序调用。