问题描述
是否有一些实用程序可以在咨询期间断言之前检查子句的变量分析。我读到 SWI-Prolog 进行了一些变量分析，但我是新手。 occurs check problem 引起了对该变量分析的兴趣。可用的变量分析是：
新鲜（布尔）
单例（布尔）
姓名（姓名）
https://www.swi-prolog.org/pldoc/doc_for?object=var_property/2
这个属性可能会从子目标更改为子目标。所以我们可能需要列出一个子句的目标，并为每个子句显示当前的变量分析状态，或者可能更简洁地只显示状态增量。
来自 Beckert & Posegga 算法的示例。会员/2通话
有 A 和 B 新鲜，copy_term/2 有 C 和 D 新鲜：
prove(L,V,N,M) :- N > 0,H is N-1,member(exist(A,B),L),copy_term(exist(A,B)-V,exist(C,D)-V),prove([D|L],[C|V],H,M).
有人已经为 SWI-Prolog 开发了这样的工具吗？
分析如何进行析取？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）