如何查看SWI-Prolog的变量分析

如何解决如何查看SWI-Prolog的变量分析

是否有一些实用程序可以在咨询期间断言之前检查子句的变量分析。我读到 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 开发了这样的工具吗？
分析如何进行析取？