如何编程我自己发生检查？

Question

我想自己编程检查Prolog。后来我想用这张支票给我自己的mgu。

我得到了：

occurs_check(A,B) :- var(B), A \== B, !, true.
occurs_check(A,B) :- var(B), A == B, !, fail.

但我不知道如何编写术语的递归。也许有人可以帮助我？ 谢谢！