问题描述
David Tonhofer 提出了一个关于发生检查的有趣问题。一个发生检查感知的协程可以用一个谓词 with_occurs_check/2 实现如下，它可以很容易地实现为 with_occurs_check/1 的细化：
occurs_check_aware_freeze(X,G) :-
current_prolog_flag(F),freeze(X,with_occurs_check(F,G)).
即通过使用带有进一步参数的 with_occurs_check/2。但是，一个可实现的 with_occurs_check/[1,2] 也适用于回溯的主要问题仍然存在。由于唤醒目标可以留下选择点，我们不想泄漏。
Prolog 引擎会以某种方式解决 David Tonhofer 推测的问题吗？是否有任何 Prolog 系统已经实现了发生检查感知冻结？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）