swipl 如何管理术语记忆?

问题描述

我试图用编译为 wasm 的 swipl 做一些恶作剧,但我对 swipl 如何在这种环境中管理术语内存感到有些困惑。我是否必须使用 PL_open_foreign_framePL_close_foreign_frame 来避免调用 PL_new_term_ref 导致内存泄漏,因为我是调用 prolog 运行时的人,而不是运行时调用我作为外国谓词?如果我想为谓词存储多个解决方案供以后使用,我将如何去做?在我调用 PL_next_solution 之后,所有引用都无效,直到第一次调用 PL_next_solution。我是否必须使用列表或类似 findall/3 之类的东西才能做到这一点?

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)