これは圏です（はてな使ったら負けだとおもっていた）

きっと何者にもなれないつぎの読者につづく。

copy_term

Prolog SWI-Prolog

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

と思ったけど、やっぱりちゃんと動かない。わからん！