色々さまよった結果、swiplのMLに辿り着き、些か機能的な違いはあれど、copy_term/2を使えば良さそうと云うことはわかった。詳しくは明日調べよう。と思ったけど、やっぱりちゃんと動かない。わからん！

Prologの技芸第二版を片手にPrologの勉強をしているのだけど、 P.197 で紹介されている % occurs_in(Sub, Term) :- Sub は項 Term の部分項である. occurs_in(X, Term) :- freeze(X, Xf), freeze(Term, Termf), subterm(Xf, Termf). のプログラムが動かない…