prolog - Prolog: X が 0 から K - 1 の範囲内にあるかどうかを確認します

Question

私はプロローグを始めたばかりで、私が書くコードのすべてのビットが無限ループに変わります。

X が 0 から K - 1 の範囲内にあるかどうかを具体的に確認しようとしています。

range(X,X).
range(X,K) :- K0 is K - 1, range(X,K0).

コードの背後にある私の考えは、K0 が X に等しくなるまで K をデクリメントするというものです。その後、基本ケースが開始されます。