循環する項の扱い

循環する項とは、複合項が木の形でなく内部に自分自身と単一化された変数を持つような項で、version6以前ではサポートしておりませんでしたので循環する項同士の単一化が無限ループに入るなどの問題がありました。国際標準では循環する項を扱うことはオプションですが、性能上の不利益をほとんど発生しないことがわかりましたので、K-Prologではversion6から採用することにいたしました。
各種Prologの処理系では、循環する項の扱いが3種類規定されています。

• unsafe: 循環する項を扱えるが、単一化などで無限ループに入る可能性がある
• fail: 循環する項を生成するような単一化を禁止しfailさせる
• cyclic: 循環する項を安全に利用できる

循環する項を生成する場面としては、次のような単一化が考えられます。

[例]
 ?- X = f(X), Y = f(Y), X = Y.
 ?- g(X,Y,X) = g(f(X),f(Y),Y).

[例]
 ?- X = f(X), Y = f(Y), X == Y.
 ?- X = f(X,1), Y = f(Y,2), X @< Y.

[例]
 ?- X = f(X), asserta(p(X)). 
 ?- X = [1,2,3|X], setval(x123,X).

 cyclic_term(Term): Term が循環する項であるときに限り成功します。
 cyclic(Term): cyclic_term/1 と同じです。
 acyclic_term(Term): Term が循環しない項であるときに限り成功します。